mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2025-01-10 08:04:36 -06:00
28 lines
759 B
SCSS
28 lines
759 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 "bootstrap/scss/bootstrap";
|
|
@import 'webcabin.pgadmin';
|
|
@import 'bootstrap.overrides';
|
|
@import 'codemirror.overrides';
|
|
@import 'pgadmin.style';
|
|
@import 'jsoneditor.overrides';
|
|
@import 'rc-dock/dist/rc-dock.css';
|
|
@import '@szhsin/react-menu/dist/index.css';
|