antonkovalyov/jshint.com — pull request #1 by jtfairbank (2013-11-09 12:45:18+00:00)
Title: Add anchor links to the options page.

Also a style to keep the font color the same. I've left the hover underline so that people know it's an anchor.

What I was really going for was an effect similar to [Grunt's](http://gruntjs.com/getting-started#installing-the-cli), however it seems they're using a font that changes the \e007 character to an anchor link image, which I couldn't replicate without changing too much.