From 8f643a194611e129e8059ef419682df95728d01a Mon Sep 17 00:00:00 2001 From: Dave Page Date: Fri, 24 Jun 2016 10:04:51 +0100 Subject: [PATCH] Styling tweaks --- web/pgadmin/static/css/wcDocker/Themes/pgadmin.css | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/web/pgadmin/static/css/wcDocker/Themes/pgadmin.css b/web/pgadmin/static/css/wcDocker/Themes/pgadmin.css index ef78737eb..7cbc7d681 100644 --- a/web/pgadmin/static/css/wcDocker/Themes/pgadmin.css +++ b/web/pgadmin/static/css/wcDocker/Themes/pgadmin.css @@ -19,15 +19,14 @@ } .wcFrameTitle { - font-size: 12px; - font-weight: bold; - padding-left: 3px; + font-size: 13px; + padding-left: 8px; vertical-align: middle; text-align: left; border-bottom: 1px none; height: 100%; padding-top: 10px; - background-color: #A8A8A8; + background-color: #E2E2E2; } .wcFrameCenter { @@ -276,6 +275,10 @@ background-color: #2C76B4; } +.wcFloating .wcFrameTitleBar > div .wcTabIcon.fa { + color: white; +} + .wcFrameButtonBar { top: 5px; right: 5px;