mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2025-01-27 00:36:52 -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
50 lines
759 B
CSS
50 lines
759 B
CSS
/* Styles for the main browser */
|
|
.browser-pane-container {
|
|
position: absolute;
|
|
top: 50px;
|
|
left: 0px;
|
|
width: 100%;
|
|
height: calc(100% - 50px); /* Offset for the nav bar */
|
|
z-index: -1;
|
|
}
|
|
|
|
.browser-browser-pane {
|
|
overflow: auto;
|
|
}
|
|
|
|
.browser-inner-pane {
|
|
padding: 0px;
|
|
overflow: hidden;
|
|
}
|
|
|
|
.browser-center-pane {
|
|
overflow: hidden;
|
|
padding: 0px;
|
|
padding-bottom: 50px /* Offset the nav bar to ensure there's enough scroll space */
|
|
}
|
|
|
|
.browser-tab-panes {
|
|
height: 100%;
|
|
}
|
|
|
|
.browser-tab-pane {
|
|
height: 100%;
|
|
}
|
|
|
|
.browser-tab-content {
|
|
width: 100%;
|
|
height: 100%;
|
|
}
|
|
|
|
.pgadmin-node-select option {
|
|
padding-left: 20px;
|
|
}
|
|
|
|
.pg-login-icon {
|
|
font-size: 16px;
|
|
}
|
|
|
|
.pgadmin_header_logo {
|
|
cursor: default;
|
|
}
|