From 91d4879f825cd812a7db3e7a7de4e927f5fa75c9 Mon Sep 17 00:00:00 2001
From: Jaime Velasco Juan <jsagarribay@gmail.com>
Date: Thu, 13 Oct 2016 12:27:43 +0100
Subject: [PATCH] Fix CSS warnings in win32 theme

https://bugzilla.gnome.org/show_bug.cgi?id=773221
---
 gtk/theme/win32/gtk-win32-base.css | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gtk/theme/win32/gtk-win32-base.css b/gtk/theme/win32/gtk-win32-base.css
index 7532e1c202..57bb53ae8c 100644
--- a/gtk/theme/win32/gtk-win32-base.css
+++ b/gtk/theme/win32/gtk-win32-base.css
@@ -114,7 +114,7 @@ tooltip, tooltip.background {
 }
 
 assistant .sidebar .highlight {
-    font: bold;
+    font-weight: bold;
     color:  -gtk-win32-color(button, captiontext);
 }
 
@@ -1260,7 +1260,7 @@ menu * {
 
 GtkAssistant .sidebar .highlight {
     background-color: gray;
-    font: bold;
+    font-weight: bold;
 }
 
 GtkAssistant .sidebar {