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