Fix tiny fonts in win32 theme

broken since df08fc91... (css: always get default font size in pixels)

https://bugzilla.gnome.org/show_bug.cgi?id=773221
This commit is contained in:
Jaime Velasco Juan 2016-10-13 12:26:09 +01:00 committed by Benjamin Otte
parent 83dc4c8b39
commit 9a9969b337

View File

@ -23,7 +23,7 @@
viewport { viewport {
/* XXX: This should be the default, but isn't?! */ /* XXX: This should be the default, but isn't?! */
font-family: "Segoe UI", Sans; font-family: "Segoe UI", Sans;
font-size: 9px; font-size: 9pt;
background-color: -gtk-win32-color(window, btnface); background-color: -gtk-win32-color(window, btnface);
color: -gtk-win32-color(window, btntext); color: -gtk-win32-color(window, btntext);
} }