pgadmin-org
/
pgadmin4
mirror of https://github.com/pgadmin-org/pgadmin4.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Styling tweaks

pull/3/head
Dave Page 2016-06-24 10:04:51 +01:00
parent a1f979c3e4
commit 8f643a1946
1 changed files with 7 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
web/pgadmin/static/css/wcDocker/Themes/pgadmin.css
View File

@ -19,15 +19,14 @@
} }
.wcFrameTitle { .wcFrameTitle {
font-size: 12px; font-size: 13px;
font-weight: bold; padding-left: 8px;
padding-left: 3px;
vertical-align: middle; vertical-align: middle;
text-align: left; text-align: left;
border-bottom: 1px none; border-bottom: 1px none;
height: 100%; height: 100%;
padding-top: 10px; padding-top: 10px;
background-color: #A8A8A8; background-color: #E2E2E2;
} }
.wcFrameCenter { .wcFrameCenter {
@ -276,6 +275,10 @@
background-color: #2C76B4; background-color: #2C76B4;
} }
.wcFloating .wcFrameTitleBar > div .wcTabIcon.fa {
color: white;
}
.wcFrameButtonBar { .wcFrameButtonBar {
top: 5px; top: 5px;
right: 5px; right: 5px;