Make the docs theme work without main_menu