Changes to factorizer style.

Darker background, bigger font, thicker edges (improvements for projectors).