Style enhancements

.alt-nav replaces .back-top which was used as a standalone navigation item earlier in this branch. It contains “home” and “back to top” links.