wait #6606 @0.25

diff --git a/inc/ws/Util/html5/master/class.ws.html5.compiler.php b/inc/ws/Util/html5/master/class.ws.html5.compiler.php
index 94c8897d60b9f71dbf532d6e576f40e938606df8..f19e581cbeb7ca1d8f5e2baf65e415d27dbf7c76 100644 (file)
--- a/inc/ws/Util/html5/master/class.ws.html5.compiler.php
+++ b/inc/ws/Util/html5/master/class.ws.html5.compiler.php
@@ -3168,7 +3168,7 @@ height="0" width="0" style="display:none;visibility:hidden"></iframe></noscript>
         // Archives
         // Header
         $header = 'header{';
-        $header .= 'height:' . $this->theme->parametres->menuHeight . 'px;';
+        $this->lessVariables['menu-height'] = $this->theme->parametres->menuHeight . 'px';
         if ($mi = $this->checkThemeImage($this->theme->parametres->menuImage)) {
             $this->vdir->copy($mi, 'data/images/' . $this->theme->parametres->menuImage);
             $header .= 'background-image:url(../images/' . $this->theme->parametres->menuImage . ');';