[gtk+] win32 theme: Add a hack that selects the right font on Windows 8

[Benjamin Otte <otte src gnome org>]

commit a3998bce9d444657a70c8910075ebbab15702bcf
Author: Benjamin Otte <otte gnome org>
Date:   Mon Feb 15 06:48:48 2016 +0100

    win32 theme: Add a hack that selects the right font on Windows 8
    
    Someone needs to figure out why the default font is wrong.

 gtk/theme/win32/gtk-win32-base.css |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)
---
diff --git a/gtk/theme/win32/gtk-win32-base.css b/gtk/theme/win32/gtk-win32-base.css
index ead3c57..6e00067 100644
--- a/gtk/theme/win32/gtk-win32-base.css
+++ b/gtk/theme/win32/gtk-win32-base.css
@@ -22,6 +22,9 @@
 
 .background,
 viewport {
+    /* XXX: This should be the default, but isn't?! */
+    font-family: "Segoe UI", Sans;
+    font-size: 9px;
     background-color: @bg_color;
     color: -gtk-win32-color(button, 18);
     border-color: shade (@bg_color, 0.6);