Fixing semantic nonsemantic stuff for navbar docs