Proof headings are no longer bold, as requested in #17.