Increase font size? Or allow custom CSS

[svivian]

The default font size is very small. In particular, the two rules on the table classes saying font-size: 8pt;. Can we remove these?

I can do it myself in the styles.css of course (and I have), but then it will be overwritten when I update webgrind in the future. If you're not interested in changing the font size, how about allowing an extra CSS file such as custom.css where I can write styles to override the defaults?

[alpha0010]

The small font size is intended due to the tendency for the table to be rather large, avoiding overflow on smaller monitors.

I see no problem with adding a custom.css, I shall do that when I get back to my dev machine.