WIP: Restructure menu + changed theme

Consolidate and restructure the menu.

Since original readthedocs theme does not (reliably) allow >2 depth, a theme change is probably necessary: tried materials theme here.