summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--desktop-themes/Blue-Submarine/gtk-3.0/gtk-widgets.css5
-rw-r--r--desktop-themes/BlueMenta/gtk-3.0/gtk-widgets.css5
-rw-r--r--desktop-themes/ContrastHighInverse/gtk-3.0/gtk-widgets.css5
-rw-r--r--desktop-themes/Green-Submarine/gtk-3.0/gtk-widgets.css5
-rw-r--r--desktop-themes/GreenLaguna/gtk-3.0/gtk-widgets.css5
-rw-r--r--desktop-themes/Menta/gtk-3.0/gtk-widgets.css5
-rw-r--r--desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css5
-rw-r--r--desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css5
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,