Merge master changes to burgermenu branch. WIP #807 @0:05

diff --git a/inc/ws/Util/html5/burgermenu/class.ws.html5.compiler.php b/inc/ws/Util/html5/burgermenu/class.ws.html5.compiler.php
index 6a206ed98362471bde70641735126be6eb0869a5..f18078e6047d45d7cd3c90b941be01749e780103 100644 (file)
--- a/inc/ws/Util/html5/burgermenu/class.ws.html5.compiler.php
+++ b/inc/ws/Util/html5/burgermenu/class.ws.html5.compiler.php
@@ -1297,6 +1297,7 @@ class wsHTML5Compiler {
                $lessVariables['book-page-height'] = $h;
 
                $lessVariables['shadow-opacity'] = wsHTML5::colorToArray($this->theme->parametres->bookShadeColor)['opacity'] * 1.2;
+               $lessVariables['edges-display'] = $this->_lessBoolean($this->theme->parametres->usePageEdges);
 
                $res[] = '.portrait #pages,.portrait .doublePage.page,.page,.doublePage._3d{width:' . $w . ';max-width:' . $w . ';height:' . $h . ';max-height:' . $h . '}';
                $res[] = '.doublePage,#pages,#links,#searchHighlights{width:' . $w2 . ';max-width:' . $w2 . ';height:' . $h . ';max-height:' . $h . '}';