From 9a9969b3371f8b45d2b3412919b67cf6b95395a9 Mon Sep 17 00:00:00 2001 From: Jaime Velasco Juan Date: Thu, 13 Oct 2016 12:26:09 +0100 Subject: 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 --- gtk/theme/win32/gtk-win32-base.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'gtk') diff --git a/gtk/theme/win32/gtk-win32-base.css b/gtk/theme/win32/gtk-win32-base.css index c0f392ce16..7532e1c202 100644 --- a/gtk/theme/win32/gtk-win32-base.css +++ b/gtk/theme/win32/gtk-win32-base.css @@ -23,7 +23,7 @@ viewport { /* XXX: This should be the default, but isn't?! */ font-family: "Segoe UI", Sans; - font-size: 9px; + font-size: 9pt; background-color: -gtk-win32-color(window, btnface); color: -gtk-win32-color(window, btntext); } -- cgit v1.2.1