diff options
| author | Jaime Velasco Juan <jsagarribay@gmail.com> | 2016-10-13 12:26:09 +0100 |
|---|---|---|
| committer | Benjamin Otte <otte@redhat.com> | 2016-10-26 16:25:49 +0200 |
| commit | 9a9969b3371f8b45d2b3412919b67cf6b95395a9 (patch) | |
| tree | 3ac4eea128b8c9969089abd11265848dc82dcddf /gtk | |
| parent | 83dc4c8b39184514533d40c2a8c2295cc99e615f (diff) | |
| download | gtk+-9a9969b3371f8b45d2b3412919b67cf6b95395a9.tar.gz | |
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
Diffstat (limited to 'gtk')
| -rw-r--r-- | gtk/theme/win32/gtk-win32-base.css | 2 |
1 files changed, 1 insertions, 1 deletions
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); } |