diff options
| author | raveit65 <[email protected]> | 2016-10-19 13:02:38 +0200 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2016-10-19 13:02:38 +0200 |
| commit | 4373582b7cf1a3f326784cc058ef48193286f304 (patch) | |
| tree | 8b64886fce3b02094a38097d3d01593065d6d6ac /desktop-themes | |
| parent | 362d9b55d64090336d493516f71be996b8fe6467 (diff) | |
| download | mate-themes-4373582b7cf1a3f326784cc058ef48193286f304.tar.bz2 mate-themes-4373582b7cf1a3f326784cc058ef48193286f304.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')
8 files changed, 40 insertions, 0 deletions
diff --git a/desktop-themes/Blue-Submarine/gtk-3.0/gtk-widgets.css b/desktop-themes/Blue-Submarine/gtk-3.0/gtk-widgets.css index ff740ec1..24787c64 100644 --- a/desktop-themes/Blue-Submarine/gtk-3.0/gtk-widgets.css +++ b/desktop-themes/Blue-Submarine/gtk-3.0/gtk-widgets.css @@ -106,6 +106,11 @@ window { color: @theme_selected_fg_color; } +/* Fix for applications that have issues finding a default monospace font */ +.monospace { + font-family: Monospace; +} + /********* * label * *********/ diff --git a/desktop-themes/BlueMenta/gtk-3.0/gtk-widgets.css b/desktop-themes/BlueMenta/gtk-3.0/gtk-widgets.css index abc8d281..d58850ca 100644 --- a/desktop-themes/BlueMenta/gtk-3.0/gtk-widgets.css +++ b/desktop-themes/BlueMenta/gtk-3.0/gtk-widgets.css @@ -84,6 +84,11 @@ color: @theme_selected_fg_color; } +/* Fix for applications that have issues finding a default monospace font */ +.monospace { + font-family: Monospace; +} + image, image:disabled, label, diff --git a/desktop-themes/ContrastHighInverse/gtk-3.0/gtk-widgets.css b/desktop-themes/ContrastHighInverse/gtk-3.0/gtk-widgets.css index 8278f6fb..8df79b5a 100644 --- a/desktop-themes/ContrastHighInverse/gtk-3.0/gtk-widgets.css +++ b/desktop-themes/ContrastHighInverse/gtk-3.0/gtk-widgets.css @@ -54,6 +54,11 @@ background-color: #aaa; color: #fff; } +/* Fix for applications that have issues finding a default monospace font */ +.monospace { + font-family: Monospace; +} + .view, textview text, iconview { color: #fff; background-color: #111; } diff --git a/desktop-themes/Green-Submarine/gtk-3.0/gtk-widgets.css b/desktop-themes/Green-Submarine/gtk-3.0/gtk-widgets.css index 846185fd..e368a3ff 100644 --- a/desktop-themes/Green-Submarine/gtk-3.0/gtk-widgets.css +++ b/desktop-themes/Green-Submarine/gtk-3.0/gtk-widgets.css @@ -108,6 +108,11 @@ window { color: @theme_selected_fg_color; } +/* Fix for applications that have issues finding a default monospace font */ +.monospace { + font-family: Monospace; +} + /********* * GtkLabel * *********/ diff --git a/desktop-themes/GreenLaguna/gtk-3.0/gtk-widgets.css b/desktop-themes/GreenLaguna/gtk-3.0/gtk-widgets.css index 8505c925..30c7dc7a 100644 --- a/desktop-themes/GreenLaguna/gtk-3.0/gtk-widgets.css +++ b/desktop-themes/GreenLaguna/gtk-3.0/gtk-widgets.css @@ -95,6 +95,11 @@ color: @theme_selected_fg_color; } +/* Fix for applications that have issues finding a default monospace font */ +.monospace { + font-family: Monospace; +} + /************ * Tooltips * ************/ diff --git a/desktop-themes/Menta/gtk-3.0/gtk-widgets.css b/desktop-themes/Menta/gtk-3.0/gtk-widgets.css index 7ab1c7c0..41f96636 100644 --- a/desktop-themes/Menta/gtk-3.0/gtk-widgets.css +++ b/desktop-themes/Menta/gtk-3.0/gtk-widgets.css @@ -84,6 +84,11 @@ color: @theme_selected_fg_color; } +/* Fix for applications that have issues finding a default monospace font */ +.monospace { + font-family: Monospace; +} + image, image:disabled, label, diff --git a/desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css b/desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css index 93c380a8..0fbf51ab 100644 --- a/desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css +++ b/desktop-themes/TraditionalGreen/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, 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, |