CSS Modification

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">
[download]

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.

Be Appropriate && Follow Your Curiosity

Comment on CSS Modification Download Code

Replies are listed 'Best First'.
Re: CSS Modification by Corion (Patriarch) on Apr 17, 2009 at 16:33 UTC
See Display Settings, the "Large Code Font" option. Also, you can add your custom CSS, either there or via the Free Nodelet.	[reply]
Re^2: CSS Modification by mikeraz (Friar) on Apr 17, 2009 at 16:45 UTC
Literacy! Literacy! My sanity for some literacy! Yes, the large code font option does it. Be Appropriate && Follow Your Curiosity	[reply]
Re: CSS Modification by sasdrtx (Friar) on Apr 17, 2009 at 16:21 UTC
The font element isn't present when I view this page. Try the "Use large code font" option in Display Settings. sas	[reply]
Re: CSS Modification by dorward (Curate) on Apr 17, 2009 at 16:30 UTC
size="-1" means "One step smaller" - it's a relative scale, so it won't be clobbered, it will be taken into account.	[reply]