This was long overdue. The CSS stylesheet was a bit broken for a few years, I modernized it a bit. For a better visual experience, you need webfont support in your browser, but I believe it will degrade quite well.

Not sure yet if it is a good idea to rely on Google for the fonts. This is an experiment.