Coveo/coveo.github.io — pull request #22 by carlbolduc (2014-11-18 14:25:08+00:00)
Title: 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.