oops?

The new IDE got carried away, and resized some things in the CSS that
should never have been resized.