From fd917dcce55958989e2659b055cfff7e3b90bf75 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Christian=20M=C3=BCller?= <chmllr@me.com>
Date: Wed, 24 Dec 2014 11:30:18 +0100
Subject: [PATCH] bugfix

---
 resources/public/js/themes.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/resources/public/js/themes.js b/resources/public/js/themes.js
index d97cd65..117dd58 100644
--- a/resources/public/js/themes.js
+++ b/resources/public/js/themes.js
@@ -109,5 +109,5 @@ fileref.setAttribute("href", fontURL)
 document.getElementsByTagName("head")[0].appendChild(fileref)
 
 function onLoad () {
-    if(ui.theme != "default") less.modifyVars(vars);
+    if(ui.theme != "default" || Object.keys(ui) > 1) less.modifyVars(vars);
 }