Thread:Project:Support desk/fixing fonts invoked by particular markup

We're using 1.16.0, php 5.3.2 (apache2handler) and the Vector skin.

The fonts invoked by the  tag are nearly unreadably small. It would be great just to push up the relative font size in a css file. Anybody know how to tackle this? I found the pre {} area in main.css and could stick a font-size definition in the block, but a little guidance as to whether this is the right approach would be great.