IntenseWebs/pgadmin4
3
0
Fork 0
mirror of https://github.com/pgadmin-org/pgadmin4.git synced 2025-02-25 18:55:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

Fix SQL box sizing.

Browse Source
This commit is contained in:
Dave Page 2016-09-26 11:35:11 +01:00
parent 912eebb583
commit 7f3ca548cd
1 changed files with 7 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
web/pgadmin/static/css/overrides.css
View File

@ -52,9 +52,9 @@ iframe {
} }
/* Ensure the codemirror editor displays full height gutters when resized */ /* Ensure the codemirror editor displays full height gutters when resized */
.CodeMirror-gutters { .CodeMirror, .CodeMirror-gutters {
height: 100% !important; height: 100% !important;
} }
/* Padding for the treeview */ /* Padding for the treeview */
.browser-browser-pane { .browser-browser-pane {
@ -996,6 +996,10 @@ ul.nav.nav-tabs {
background-position: 0px 2px; background-position: 0px 2px;
} }
.pgadmin-controls.SQL>.CodeMirror {
height: 500px !important;
}
/* This rule will stop Chrome apply highlighting to elements such as DIV's used as modals */ /* This rule will stop Chrome apply highlighting to elements such as DIV's used as modals */
*:focus { *:focus {
outline: none; outline: none;