Customize font sizes (Question/Feature Request)

[felurx]

Hello!
It would be great to be able to customize the font sizes. (In my case, the headings feel way too big, which results in people always using for example h2 and h4 instead of h1 and h2. This is annoying for the table_of_contents plugin, which would in theory be great, but in practice is ugly as hell because you always have 0.2 and 0.2.0.2. instead of 2. and 2.2.. I understand how whiny this must seem...)
The most elegant way would probably be to make them settable via the settings.json, however, that'd probably take a bunch of work. (Which I would do if I had any knowledge of Etherpad and/or JS, but that isn't the case...)
For now, is there some way I can override the CSS the plugin sets or something else to change the font sizes?

[JohnMcLear]

Seems like a sensible feature request. I'd expect its an hour work or so to be able to use a settings config for font size. That would be the way to do it.

You could just modify the CSS files but they would be overwritten when you update.