mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2025-02-25 18:55:31 -06:00
Fix some minor CSS issues.
This commit is contained in:
committed by
Dave Page
parent
63f7fbcf7d
commit
c79ac2f8d2
@@ -94,11 +94,11 @@
|
||||
|
||||
/** Custom styling for Codemirror field **/
|
||||
.wizard-right-panel_content {
|
||||
border: 1px solide #ccc;
|
||||
border: 1px $color-gray-light;
|
||||
}
|
||||
|
||||
.wizard-right-panel_content .CodeMirror {
|
||||
border: 1px solid #ccc;
|
||||
border: 1px solid $color-gray-light;
|
||||
height: 285px !important;
|
||||
min-height: 285px !important;
|
||||
}
|
||||
|
Reference in New Issue
Block a user