The CSS to rule them all

Hopefully this CSS file will contain all formatting changes we wish to
use in the future.