jdan/cleaver — pull request #34 by agam360 (2013-09-06 14:47:36+00:00)
Title: Fix navigation selection bug

When clicking on the navigation buttons several times (e.g. double clicking) they get selected, which is annoying.
This css trick (from: http://stackoverflow.com/questions/826782/css-rule-to-disable-text-selection-highlighting) should fix it.