Generate new oldie.css.

(Needs to be done from time to time.)