Some nitpicking code changes to the menu and CSS

I couldn't help myself from doing these changes, but managed to stop
before I rewrote the whole CSS.