Tweak styling of popups.
Use Expr.subFree in place of proof to generate popups.  Tweak a
couple of styles.