diff options
| author | Thomas Steur <thomas.steur@googlemail.com> | 2014-08-22 10:56:26 +0400 |
|---|---|---|
| committer | Thomas Steur <thomas.steur@googlemail.com> | 2014-08-22 10:56:26 +0400 |
| commit | 1d6640b93b5ef24e096d05cf7e13cf4c2610f583 (patch) | |
| tree | 40fc585ece28b1c6158e4c5415c0995bc025cf6f /plugins/ExampleTheme | |
| parent | 8da43a33f73246b009b75c744f32e4772be00a0a (diff) | |
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...
Diffstat (limited to 'plugins/ExampleTheme')
| -rw-r--r-- | plugins/ExampleTheme/stylesheets/_variables.less | 1 | ||||
| -rw-r--r-- | plugins/ExampleTheme/stylesheets/theme.less | 4 |
2 files changed, 2 insertions, 3 deletions
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"; |