mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2025-02-25 18:55:31 -06:00
Implemented utilities in React to make porting easier for pgAdmin tools.
This commit is contained in:
committed by
Akshay Joshi
parent
76a4dee451
commit
bc4e8a3c82
@@ -9,6 +9,7 @@
|
||||
font-family: monospace, monospace;
|
||||
background-color: $color-editor-bg !important;
|
||||
color: $color-editor-fg;
|
||||
border-radius: inherit;
|
||||
}
|
||||
|
||||
/* Ensure the codemirror editor displays full height gutters when resized */
|
||||
|
||||
Reference in New Issue
Block a user