fixing header markup and some style tweaks

The two links are really buttons that perform actions. So don’t need
<nav>. Renamed relevant class names. Added clearer hover/focus styles
to buttons. Removed @aria-selected. Still need to improve the modal dialog to not use @aria-controls, and actually be modal with proper focus management.