Linux/Tipps: Unterschied zwischen den Versionen
→Bei Firefox/Thunderbird/Mozilla für die GUI einen anderen Font einstellen
Thomas (Diskussion | Beiträge) |
Thomas (Diskussion | Beiträge) |
||
| Zeile 152: | Zeile 152: | ||
Die Fonteinstellungen in den Options/Preferences betreffen nur die Darstellung von HTML-Inhalten. Um die Fonts der GUI einzustellen, muss man im Userverzeichnis/chrome eine Datei anlegen namens userChrome.css mit folgendem Inhalt: | Die Fonteinstellungen in den Options/Preferences betreffen nur die Darstellung von HTML-Inhalten. Um die Fonts der GUI einzustellen, muss man im Userverzeichnis/chrome eine Datei anlegen namens userChrome.css mit folgendem Inhalt: | ||
Editieren '''~/.mozilla/firefox/default*/chrome/userChrome.css''' bzw. '''~/.thunderbird/default/*/chrome/userChrome.css''' bzw. '''~/.mozilla/default/*/chrome/userChrome.css''' | Editieren von '''~/.mozilla/firefox/default*/chrome/userChrome.css''' bzw. '''~/.thunderbird/default/*/chrome/userChrome.css''' bzw. '''~/.mozilla/default/*/chrome/userChrome.css''' | ||
/* | /* | ||
* Do not remove the @namespace line -- it's required for correct functioning | * Do not remove the @namespace line -- it's required for correct functioning | ||