win32 theme: Add a hack that selects the right font on Windows 8

Someone needs to figure out why the default font is wrong.
This commit is contained in:
Benjamin Otte 2016-02-15 06:48:48 +01:00 committed by Benjamin Otte
parent c98007f9fd
commit a3998bce9d

View File

@ -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);