summaryrefslogtreecommitdiff
path: root/desktop-themes
diff options
context:
space:
mode:
authorraveit65 <[email protected]>2016-10-19 13:02:38 +0200
committerraveit65 <[email protected]>2016-10-19 13:03:48 +0200
commitf88ae2e9984c9ac51e530cb62ae89ff55af70c00 (patch)
tree02041a7cad85e79cc9578b939085eff02b9f993e /desktop-themes
parent36f9639538743576e739b77247d2a4bf44ad35cb (diff)
downloadmate-themes-f88ae2e9984c9ac51e530cb62ae89ff55af70c00.tar.bz2
mate-themes-f88ae2e9984c9ac51e530cb62ae89ff55af70c00.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
Diffstat (limited to 'desktop-themes')
-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 a2d78959..c8cdfd97 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 49ee0ee7..97eea9a6 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 2013791e..72903333 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 74cabc20..0b5bf4c6 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 e41de540..49b7193a 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 4ce3921f..0116e6b4 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,