mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2025-02-25 18:55:31 -06:00
This commit is contained in:
committed by
Dave Page
parent
9212699936
commit
b284572afe
@@ -34,9 +34,7 @@
|
||||
}
|
||||
|
||||
.editor-title {
|
||||
background-color: #2C76B4;
|
||||
padding: 4px 5px;
|
||||
color: white;
|
||||
font-size: 13px;
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user