This got broken by Bug 1698257: Make header height adjustable using navbar-height variable with patch https://reviews.mahara.org/#/c/8687/3
This got broken by Bug 1698257: Make header height adjustable using navbar-height variable with patch https:/ /reviews. mahara. org/#/c/ 8687/3