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

Further style tweaks.

Browse Source
This commit is contained in:
Aditya Toshniwal
2019-01-07 14:24:44 +05:30
committed by Dave Page
parent c5d49bd862
commit e9ba2e036a
9 changed files with 79 additions and 64 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
web/pgadmin/static/scss/_codemirror.overrides.scss
View File

@@ -9,6 +9,7 @@
.CodeMirror {
font-size: 1em;
font-family: monospace, monospace;
}
/* Ensure the codemirror editor displays full height gutters when resized */