Pure CSS menu.

Replacing JavaScript menu with a pure CSS one, fixing the issue with
menu staying open and enabling back and forward browser actions.