minor syntax improvement
deprecating navbar_margin setting