The CSS is now built from less source using make. Everything is now in
one minified-ish css file. Customization should now be easier.