The current, darker theme the site uses is just an experiment. The old one should be back in a couple of days, unchanged.

Meanwhile bear with the style errors here and there.