diff options
author | Andrew Shadura <andrew.shadura@collabora.co.uk> | 2016-10-17 18:23:27 +0200 |
---|---|---|
committer | Andrew Shadura <andrew.shadura@collabora.co.uk> | 2016-10-17 18:23:27 +0200 |
commit | e705071be9043653784c5e94adb052f60888d013 (patch) | |
tree | a38e39455070e370cfdeaf85135fef0d2ae13b2b | |
parent | f5dfb4a4f412a298f38f2a5373dbc6d42879f759 (diff) |
Fix font definitions.
-rw-r--r-- | gtk-3.0/gtk-widgets.css | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gtk-3.0/gtk-widgets.css b/gtk-3.0/gtk-widgets.css index 4a107b0..5f5b057 100644 --- a/gtk-3.0/gtk-widgets.css +++ b/gtk-3.0/gtk-widgets.css @@ -1591,7 +1591,7 @@ treemenu menuitem { menu, .menu { - font: normal; + font-weight: normal; background-color: @menu_bg_color; color: @menu_fg_color; padding: 1px; @@ -1973,7 +1973,7 @@ placessidebar .view { assistant .sidebar highlight { color: @theme_fg_color; - font: bold; + font-weight: bold; } assistant .sidebar { @@ -2523,7 +2523,7 @@ infobar:last-child, } .titlebar .title { - font: Bold; + font-weight: bold; } /*.titlebar :first-child {*/ |