mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2025-02-25 18:55:31 -06:00
24 lines
632 B
SCSS
24 lines
632 B
SCSS
$theme-colors: (
|
|
"primary": $color-primary,
|
|
"danger": $color-danger,
|
|
"success": $color-success,
|
|
"warning": $color-warning,
|
|
);
|
|
|
|
/* Certain variables are required in JS directly */
|
|
:root {
|
|
--color-fg: #{$color-fg};
|
|
--color-bg: #{$color-bg};
|
|
--border-color: #{$border-color};
|
|
--psql-background: #{$psql-background};
|
|
--psql-foreground: #{$psql-foreground};
|
|
--psql-cursor: #{$psql-cursor};
|
|
--psql-cursorAccent: #{$psql-cursorAccent};
|
|
--psql-selection: #{$psql-selection};
|
|
}
|
|
|
|
@import 'pgadmin.style';
|
|
@import 'jsoneditor.overrides';
|
|
@import 'rc-dock/dist/rc-dock.css';
|
|
@import '@szhsin/react-menu/dist/index.css';
|