On 07/04/2013 02:17 PM, Cousin Ricky wrote:
> 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.
>
>
>
In firefox edit->preferences->content->Fonts & Colors->Advanced you can 
set the default monospace font size ... ctrl + and ctrl - work as expected

Post a reply to this message