matheeeny/Syntaxtic — pull request #37 by splintax (2013-11-22 08:49:40+00:00)
Title: Add option to configure font family as well as size.

* Slightly refactor some of options.coffee
* Fix typo in extension description (manifest.json)
* Fix (or at least mitigate) some alignment issues (between gutter and
page body) in options.html