Fix problem with out of place menus in the docs