Support custom CSS from server static directory
You no longer need an external host: now any registered server
can have custom CSS by making a static/custom.css file.
Optimize CSS valiation a bit