Re: hässliche schrift in mozilla, synaptic usw

[Klaus Becker <colonius@mangoosta.fr>]

> Wenn es nur um die UI-Schrifften geht dann kannst folgendes in deine
> userChrome.css einfügen:
>
> --------------------------------------------------------
> window {
>           font-size: 3.5mm !important;
>           font-family: helvetica !important;
>         }
>
>
> /* Make menus small, pretty and readable: */
>
> menubar, menubutton, menulist, menu, menuitem {
>    font-family: helvetica !important;
>    font-size: 3mm !important;
> }
> --------------------------------------------------------

Wie kann ich mit obigem Skript meine Mozilla-Schrift grösser machen ? Ich habe 
versucht, 3.5mm durch andere Zahlen zu ersetzen, das ändert aber nichts.

Weiter findet man in der gleichen Datei:

-------------------------------------------------------------
/*
 * Some possible accessibility enhancements:
 */
/*
 * Make all the default font sizes 20 pt:
 *
 * * {
 *   font-size: 20pt !important
 * }
 */
--------------------------------------------------------------

Auch damit bin ich nicht weitergekommen.

Klaus