diff options
| author | raveit65 <[email protected]> | 2016-10-19 13:20:16 +0200 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2016-10-19 13:20:16 +0200 |
| commit | 6a51fec43a33cf4a57ca69920fcf820c4fad83bf (patch) | |
| tree | e574dc84522cb041ed22b48ae7cce200613d1aa9 | |
| parent | 49d107c14045def49b1e0e40aa3743299e991c82 (diff) | |
| download | mate-themes-6a51fec43a33cf4a57ca69920fcf820c4fad83bf.tar.bz2 mate-themes-6a51fec43a33cf4a57ca69920fcf820c4fad83bf.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.
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 2611e8ee..b950adf7 100644 --- a/desktop-themes/Blue-Submarine/gtk-3.0/gtk-widgets.css +++ b/desktop-themes/Blue-Submarine/gtk-3.0/gtk-widgets.css @@ -154,6 +154,11 @@ GtkWindow { 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 8de5adaf..b1109e04 100644 --- a/desktop-themes/BlueMenta/gtk-3.0/gtk-widgets.css +++ b/desktop-themes/BlueMenta/gtk-3.0/gtk-widgets.css @@ -102,6 +102,11 @@ color: @theme_selected_fg_color; } +/* Fix for applications that have issues finding a default monospace font */ +.monospace { + font-family: Monospace; +} + GtkImage, GtkImage:insensitive, GtkLabel, diff --git a/desktop-themes/ContrastHighInverse/gtk-3.0/gtk-widgets.css b/desktop-themes/ContrastHighInverse/gtk-3.0/gtk-widgets.css index 092d5e7d..4a96b4da 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 * ********/ 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 c2b9dbce..66997a12 100644 --- a/desktop-themes/Green-Submarine/gtk-3.0/gtk-widgets.css +++ b/desktop-themes/Green-Submarine/gtk-3.0/gtk-widgets.css @@ -154,6 +154,11 @@ GtkWindow { 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/GreenLaguna/gtk-3.0/gtk-widgets.css b/desktop-themes/GreenLaguna/gtk-3.0/gtk-widgets.css index 4b737233..6cf0b9c4 100644 --- a/desktop-themes/GreenLaguna/gtk-3.0/gtk-widgets.css +++ b/desktop-themes/GreenLaguna/gtk-3.0/gtk-widgets.css @@ -110,6 +110,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 a38f7955..ca3b506b 100644 --- a/desktop-themes/Menta/gtk-3.0/gtk-widgets.css +++ b/desktop-themes/Menta/gtk-3.0/gtk-widgets.css @@ -102,6 +102,11 @@ color: @theme_selected_fg_color; } +/* Fix for applications that have issues finding a default monospace font */ +.monospace { + font-family: Monospace; +} + GtkImage, GtkImage:insensitive, GtkLabel, diff --git a/desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css b/desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css index eb670efb..fc4ddc97 100644 --- a/desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css +++ b/desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css @@ -66,6 +66,11 @@ GtkWindow { border-color: @insensitive_border_color; } +/* Fix for applications that have issues finding a default monospace font */ +.monospace { + font-family: Monospace; +} + GtkImage, GtkImage:insensitive, GtkLabel, diff --git a/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css b/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css index b84a4579..7b0cb76b 100644 --- a/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css +++ b/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css @@ -66,6 +66,11 @@ GtkWindow { border-color: @insensitive_border_color; } +/* Fix for applications that have issues finding a default monospace font */ +.monospace { + font-family: Monospace; +} + GtkImage, GtkImage:insensitive, GtkLabel, |