blob: 1534c84b5e8fd0e3a02f7853f975d1ddad0cdec6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
|
From e705071be9043653784c5e94adb052f60888d013 Mon Sep 17 00:00:00 2001
From: Andrew Shadura <andrew.shadura@collabora.co.uk>
Date: Mon, 17 Oct 2016 18:23:27 +0200
Subject: [PATCH] Fix font definitions.
---
gtk-3.0/gtk-widgets.css | 6 +++---
1 file 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 {*/
|