From 4373582b7cf1a3f326784cc058ef48193286f304 Mon Sep 17 00:00:00 2001
From: raveit65 <chat-to-me@raveit.de>
Date: Wed, 19 Oct 2016 13:02:38 +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 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,
-- 
cgit v1.2.1