diff options
author | raveit65 <[email protected]> | 2016-10-19 13:20:16 +0200 |
---|---|---|
committer | raveit65 <[email protected]> | 2016-10-19 13:21:28 +0200 |
commit | a8244b4ead394ea6faf8aa1d28949fc3fe595794 (patch) | |
tree | 18a7e15bcde0f102dbffe07fee2f7a318c4a2264 /desktop-themes/ContrastHighInverse | |
parent | f9f7bb4f741ea9619eb455d5eb8187beebe1668e (diff) | |
download | mate-themes-a8244b4ead394ea6faf8aa1d28949fc3fe595794.tar.bz2 mate-themes-a8244b4ead394ea6faf8aa1d28949fc3fe595794.tar.xz |
Most themes: Specify a monospace font family
Fix for github.com/mate-desktop/mate-themes/issues/145
in which gitg, possibly other apps can't find system monospace font.
Diffstat (limited to 'desktop-themes/ContrastHighInverse')
-rw-r--r-- | desktop-themes/ContrastHighInverse/gtk-3.0/gtk-widgets.css | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/desktop-themes/ContrastHighInverse/gtk-3.0/gtk-widgets.css b/desktop-themes/ContrastHighInverse/gtk-3.0/gtk-widgets.css index 3586ca9a..e2815ee7 100644 --- a/desktop-themes/ContrastHighInverse/gtk-3.0/gtk-widgets.css +++ b/desktop-themes/ContrastHighInverse/gtk-3.0/gtk-widgets.css @@ -69,6 +69,11 @@ GtkClutterOffscreen { color: @theme_selected_fg_color; } +/* Fix for applications that have issues finding a default monospace font */ +.monospace { + font-family: Monospace; +} + /******** * Misc * ********/ |