summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorraveit65 <[email protected]>2016-10-19 13:20:16 +0200
committerraveit65 <[email protected]>2016-10-19 13:21:28 +0200
commita8244b4ead394ea6faf8aa1d28949fc3fe595794 (patch)
tree18a7e15bcde0f102dbffe07fee2f7a318c4a2264
parentf9f7bb4f741ea9619eb455d5eb8187beebe1668e (diff)
downloadmate-themes-a8244b4ead394ea6faf8aa1d28949fc3fe595794.tar.bz2
mate-themes-a8244b4ead394ea6faf8aa1d28949fc3fe595794.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.
-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 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,