$wgStickyTOCNavbar