Type on /edit save button
Little editor changes
Merge branch 'editor-styles' into jake-dev-unstable
No more annoying hashes in my editor URL
Lots of new customizable features, plentiful bug fixes
Merge branch 'master' of https://github.com/bezi/texdown
Changes to settings processing on backend

I added some more settings, so I updated the backend to reflect these
changes. It should now pass them appropriately to the front end (which
as of now stores them and then does nothing with them.)

It should be noted that the way the settings are embeded in the page is
not very scalable, but it should work for any finite number of settings.
Syntax error with href
Merge branch 'master' into jake-dev-unstable
Added code to handle saving settings to /settingsw
Added AJAX to handle saving and loading settings

It should be able to load the settings for an arbitrary supported
setting, but I haven't tested it on autosave and autocompile.
Changes
Everything should work now with settings.