From 9a68e766b3d516c1cf37fc2e02a5e3761ccb430a Mon Sep 17 00:00:00 2001
From: raveit65 <chat-to-me@raveit.de>
Date: Wed, 19 Oct 2016 13:20:16 +0200
Subject: 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.
---
 desktop-themes/Blue-Submarine/gtk-3.0/gtk-widgets.css      | 5 +++++
 desktop-themes/BlueMenta/gtk-3.0/gtk-widgets.css           | 5 +++++
 desktop-themes/ContrastHighInverse/gtk-3.0/gtk-widgets.css | 5 +++++
 desktop-themes/Green-Submarine/gtk-3.0/gtk-widgets.css     | 5 +++++
 desktop-themes/GreenLaguna/gtk-3.0/gtk-widgets.css         | 5 +++++
 desktop-themes/Menta/gtk-3.0/gtk-widgets.css               | 5 +++++
 desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css    | 5 +++++
 desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css       | 5 +++++
 8 files changed, 40 insertions(+)

(limited to 'desktop-themes')

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 1a468862..850ac98f 100644
--- a/desktop-themes/Blue-Submarine/gtk-3.0/gtk-widgets.css
+++ b/desktop-themes/Blue-Submarine/gtk-3.0/gtk-widgets.css
@@ -156,6 +156,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 179ac01d..ecbfdccc 100644
--- a/desktop-themes/BlueMenta/gtk-3.0/gtk-widgets.css
+++ b/desktop-themes/BlueMenta/gtk-3.0/gtk-widgets.css
@@ -104,6 +104,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 d8be9b97..bd2ef788 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 881430b2..71dfa303 100644
--- a/desktop-themes/Green-Submarine/gtk-3.0/gtk-widgets.css
+++ b/desktop-themes/Green-Submarine/gtk-3.0/gtk-widgets.css
@@ -156,6 +156,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 0a998d8f..7420079e 100644
--- a/desktop-themes/GreenLaguna/gtk-3.0/gtk-widgets.css
+++ b/desktop-themes/GreenLaguna/gtk-3.0/gtk-widgets.css
@@ -112,6 +112,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 895d10dd..79bf30cc 100644
--- a/desktop-themes/Menta/gtk-3.0/gtk-widgets.css
+++ b/desktop-themes/Menta/gtk-3.0/gtk-widgets.css
@@ -104,6 +104,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 0bfafa62..74176e83 100644
--- a/desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css
+++ b/desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css
@@ -68,6 +68,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 babdf89d..b5ef0c50 100644
--- a/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css
+++ b/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css
@@ -68,6 +68,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,
-- 
cgit v1.2.1