Prove-It
Prove-It copied to clipboard
withStyles should make a copy of everything that it effects
trafficstars
Otherwise, this leads to non-intuitive effects of changing the style on past expressions.