mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2025-02-25 18:55:31 -06:00
Fixed theme related issues after react porting.
This commit is contained in:
committed by
Akshay Joshi
parent
17ad46fe9d
commit
40b8da8223
@@ -7,7 +7,7 @@
|
||||
.CodeMirror {
|
||||
font-size: 1em;
|
||||
font-family: monospace, monospace;
|
||||
background-color: $color-editor-bg;
|
||||
background-color: $color-editor-bg !important;
|
||||
color: $color-editor-fg;
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user