The font size for codetext is too small for my eye/display combination. From the page source I see:
<pre class="code"><div class='codeblock'><tt class='codetext'><font si +ze="-1">
Which means even if I do set up custom font sizing for the codetext class it's going to be clobbered by the explicit setting of font size in the page generation. Not so, as pointed out by dorward.
Feature or bug?
What work arounds are available besides <CTRL>+ global display modification? That solution affects all the right sized bits I like as they are.
Update
A bit of literacy goes a long way. So do forced reloads to ensure the local proxy isn't being lazy about fetching updates.
In reply to CSS Modification by mikeraz
| For: | Use: | ||
| & | & | ||
| < | < | ||
| > | > | ||
| [ | [ | ||
| ] | ] |