marijnh/tern — pull request #395 by jgiles (2014-09-21 21:58:15+00:00)
Title: Fix table of contents in manual.

Add gedit, fix requirejs indent.

This PR also has the extra styling changes mentioned in #390.