IntenseWebs/pgadmin4
3
0
Fork 0
mirror of https://github.com/pgadmin-org/pgadmin4.git synced 2025-02-25 18:55:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

Minor adjustment to the menu font sizing.

Browse Source
This commit is contained in:
Dave Page 2016-04-05 17:10:12 +01:00
parent 34ef5790ba
commit 01d6b46838
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -270,12 +270,12 @@
.context-menu-list { .context-menu-list {
font-family: "Helvetica Neue", Helvetica, Arial, sans-serif; font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
font-size: 14px; font-size: 13px;
} }
.context-menu-icon:before { .context-menu-icon:before {
color: #222; color: #222;
font-size: 14px; font-size: 13px;
} }
.context-menu-icon-fa:before { .context-menu-icon-fa:before {
@ -285,7 +285,7 @@ font-size: 14px;
.context-menu-item { .context-menu-item {
display:block; display:block;
font-family: "Helvetica Neue", Helvetica, Arial, sans-serif; font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
font-size: 14px; font-size: 13px;
font-weight: normal; font-weight: normal;
} }
@ -311,5 +311,5 @@ font-size: 14px;
} }
ul.dropdown-menu > li.menu-item > a > i.wcTabIcon { ul.dropdown-menu > li.menu-item > a > i.wcTabIcon {
width: 15px; width: 14px;
} }