Pure CSS menu

Replacing JavaScript menu with a pure CSS one, respecting browser back
and forward.