diff options
| author | Benjamin Otte <otte@gnome.org> | 2016-02-15 06:48:48 +0100 |
|---|---|---|
| committer | Benjamin Otte <otte@redhat.com> | 2016-02-17 04:36:30 +0100 |
| commit | a3998bce9d444657a70c8910075ebbab15702bcf (patch) | |
| tree | 8fc79fbb5e69af06740e62b635f47949f273a686 /gtk/theme/win32 | |
| parent | c98007f9fd3db6d27c6916f28d2b1867c93bd072 (diff) | |
| download | gtk+-a3998bce9d444657a70c8910075ebbab15702bcf.tar.gz | |
win32 theme: Add a hack that selects the right font on Windows 8
Someone needs to figure out why the default font is wrong.
Diffstat (limited to 'gtk/theme/win32')
| -rw-r--r-- | 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 ead3c57479..6e00067cfc 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); |