mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2025-02-10 23:45:58 -06:00
1317e4254b
1) Migrate from webpack 4 to webpack 5. This had a lot of breaking changes, so updated multiple webpack plugins and changed the config accordingly. 2) Replaced iconfont-webpack-plugin with a more maintained webfonts-loader. 3) Replaced deprecated babel-eslint with @babel/eslint-parser. 4) Replaced optimize-css-assets-webpack-plugin with a more maintained css-minimizer-webpack-plugin. 5) Updated all other JS packages and made the required code changes. Fixes #6207
30 lines
725 B
SCSS
30 lines
725 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};
|
|
}
|
|
|
|
@import "bootstrap/scss/bootstrap";
|
|
@import 'webcabin.pgadmin';
|
|
@import 'bootstrap.overrides';
|
|
@import 'backgrid.overrides';
|
|
@import 'aci_tree.overrides';
|
|
@import 'select2.overrides';
|
|
@import 'codemirror.overrides';
|
|
@import 'alert';
|
|
@import 'alertify.overrides';
|
|
@import 'backform.overrides';
|
|
@import 'pgadmin.grid';
|
|
@import 'pgadmin.style';
|
|
@import 'bootstrap4-toggle.overrides';
|
|
@import 'pickr.overrides';
|
|
@import 'tippy.overrides';
|