Fix anti-aliasing for png output, and the usual lot of style changes.