diff options
| author | raveit65 <[email protected]> | 2016-10-19 13:02:38 +0200 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2016-10-19 13:03:25 +0200 |
| commit | 291c7f7216a3b4ae29702188412e2fd8fc31a2d0 (patch) | |
| tree | c66c8b2a8cf659ee4cdd4ff8a722b48ada00ad49 /desktop-themes/TraditionalOk | |
| parent | 1ff56271ce421201cdfa26daf74aa720213cc783 (diff) | |
| download | mate-themes-291c7f7216a3b4ae29702188412e2fd8fc31a2d0.tar.bz2 mate-themes-291c7f7216a3b4ae29702188412e2fd8fc31a2d0.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/TraditionalOk')
| -rw-r--r-- | desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css b/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css index 991a3f0c..290ce1ae 100644 --- a/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css +++ b/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css @@ -44,6 +44,11 @@ window { border-color: @insensitive_border_color; } +/* Fix for applications that have issues finding a default monospace font */ +.monospace { + font-family: Monospace; +} + image, image:disabled, label, |