diff options
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 27ed2eae..03de1131 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 40d5e6a6..03021b95 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 3586ca9a..e2815ee7 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 9551d788..a458b190 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 4a9e89c2..e7ed1aec 100644 --- a/desktop-themes/GreenLaguna/gtk-3.0/gtk-widgets.css +++ b/desktop-themes/GreenLaguna/gtk-3.0/gtk-widgets.css @@ -111,6 +111,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 6948ab81..7da39f2e 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 a7c891e8..c7c48af6 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 05ebdabf..c89164bd 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, |