Fix table of contents in manual.

Add gedit, fix requirejs indent.

This PR also has the extra styling changes mentioned in #390.