James Holsenback <nom### [at] nonecom> wrote:
> On 06/26/2013 07:46 AM, Thomas de Groot wrote:
> > Something I have wanted to ask about for a while: the font size is very
> > small, especially the green ones. For the younger people this might not
> > be a problem, but for older ones like me, they give serious trouble with
> > reading ;-)
> >
> > At least, why not make the green text of the same font size as the rest
> > of the document?
>
> In the html version the font size is dependent on what browser default
> size is set ... Ctrl + makes it bigger Ctrl - makes it smaller Ctrl .
> resets to default. Does windoze version have similar?

In all my browsers except Opera, the monospace text is much tinier than the
regular text.  Inspect element doesn't show anything untoward in the style
sheets, so I suspect that there is some common browser default that sets
monospace smaller than regular.  This differential is present regardless of how
many times you press Ctrl +.

The text is exactly the same size in Opera.  I have tweaked my Opera setup over
the years, and I do remember messing with the monospace font size, so that
/might/ explain why Opera is different for me.

I have posted some screen shots to p.b.i.

Web browsers: Chrome, Firefox, Konqueror, and Opera.
Operating system: openSUSE 12.2 Linux/KDE.

Post a reply to this message