More tweaks, particularly to navigation and code highlighting.