wait #6581 @0.5

diff --git a/app/Fluidbook/Compiler/Compiler.php b/app/Fluidbook/Compiler/Compiler.php
index f2e3449c9af8a1ae386c07e5e998ec741c0389a6..889e3655ba29accd6118a2266fd1f0109d74feae 100644 (file)
--- a/app/Fluidbook/Compiler/Compiler.php
+++ b/app/Fluidbook/Compiler/Compiler.php
@@ -1831,7 +1831,7 @@ class Compiler extends Base implements CompilerInterface, IVirtualDirectoryError
         // Archives
         // Header
         $header = 'header{';
-        $header .= 'height:' . $this->themeSettings->menuHeight . 'px;';
+        $this->lessVariables['menu-height'] = $this->themeSettings->menuHeight . "px";
         if ($mi = $this->themeAsset('menuImage')) {
             $this->vdir->copy($mi->getPathname(), 'data/images/' . $mi->getFilename());
             $header .= 'background-image:url(../images/' . $mi->getFilename() . ');';