Various nips and tucks. Redefine theorem styles from scratch now.