Update the slogan.
Spiff up some borders.
Hide and show the proofErrors now that it has borders.
Fade in the rule selector when updating it.