Peter Misch
Hallo,
habe das problem auch gehabt und so gelöst !
Das Tool ChromeEdit hier runterladen und installieren.
http://www.fw4u.de/online/mozilla-tools3.html
das toll aufrufen und dann die userChrome.css bearbeiten.
Die sollte so aussehen:
/*
* Edit this file and copy it as userChrome.css into your
* profile-directory/chrome/
*/
/*
* This file can be used to customize the look of Mozilla's user interface
* You should consider using !important on rules which you want to
* override default settings.
*/
/*
* Do not remove the @namespace line -- it's required for correct functioning
*/
@namespace url("http://www.mozilla.org/keymaster/gate…ere.is.only.xul"); /* set default namespace to XUL */
window, #sidebar, dialog, box, button, page,
label, caption, textbox, menubar > menu,
menupopup > *, .toolbarbutton-text, .tab-text {
font-size: 8pt !important;
}
bei font-size: die gewünschte Schriftgröße eintragen und speichern,
das wars.
Grüße von Schredder