From 1d6640b93b5ef24e096d05cf7e13cf4c2610f583 Mon Sep 17 00:00:00 2001
From: Thomas Steur <thomas.steur@googlemail.com>
Date: Fri, 22 Aug 2014 08:56:26 +0200
Subject: [PATCH] refs #6038 make it possible again to change the used font.
 The font was always overwritten by Morpheus so it has to be in an imported
 file now. Need to update the guides...

---
 plugins/ExampleTheme/stylesheets/_variables.less | 1 +
 plugins/ExampleTheme/stylesheets/theme.less      | 4 +---
 2 files changed, 2 insertions(+), 3 deletions(-)
 create mode 100644 plugins/ExampleTheme/stylesheets/_variables.less

diff --git a/plugins/ExampleTheme/stylesheets/_variables.less b/plugins/ExampleTheme/stylesheets/_variables.less
new file mode 100644
index 0000000000..bae0d96a12
--- /dev/null
+++ b/plugins/ExampleTheme/stylesheets/_variables.less
@@ -0,0 +1 @@
+@theme-fontFamily-base: Verdana, sans-serif;
diff --git a/plugins/ExampleTheme/stylesheets/theme.less b/plugins/ExampleTheme/stylesheets/theme.less
index e55b60d4c5..a580c1c127 100644
--- a/plugins/ExampleTheme/stylesheets/theme.less
+++ b/plugins/ExampleTheme/stylesheets/theme.less
@@ -1,4 +1,2 @@
 @import "_colors.less";
-
-@theme-fontFamily-base: Verdana, sans-serif;
-
+@import "_variables.less";
-- 
GitLab