shell: better command handling to avoid deadlocks
Initial layout redesign.
Collapsible navigation bar.
Options panel
toc
General cleanup
More stuff
Reinclude header navigation items, footer, and the new admonition styles