bugfix for navbar_margin_top