Load the ui settings before loading editor settings.

Loading UI last rewrites the 'face' modifications set by other settings
files.
Don't ignore css in doc/
Updated the css, make it a bit responsive
Rename instead of copy start.html to index.html
Use smartparens
add sync target to makefile