Linux/Tipps: Unterschied zwischen den Versionen

Zur Navigation springen Zur Suche springen
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
1.103

Bearbeitungen

Navigationsmenü