Also meine userChrome.css liegt unter:
/home/carsten/.mozilla/firefox/885s3ppi.default/chrome
und sieht so aus:
/*
* 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/gatekeeper/there.is.only.xul"); /* set default namespace to XUL */
/*
* Some possible accessibility enhancements:
*/
/*
* Make all the default font sizes 20 pt:
*
menu, menuitem {
font-size: 10pt !important;
}
*/
/*
* Make menu items in particular 15 pt instead of the default size:
*
menupopup {
font-size: 10pt !important;
}
*/
/*
* Give the Location (URL) Bar a fixed-width font
*
* #urlbar {
* font-family: monospace !important;
* }
*/
/*
* For more examples see http://www.mozilla.org/unix/customizing.html
*/
In der profiles.ini steht folgendes geschrieben:
[General]
StartWithLastProfile=1
[Profile0]
Name=default
IsRelative=1
Path=885s3ppi.default