Add splash page + navigation + improve documentation pages

This PR adds a splash page, a top-level navigation bar, and improves the layout of the documentation pages. The affix also works better now, thanks to @juandopazo!