more prettiness: borders, color, theorem types;

post on biasing coins.