Firefox Tipp #1

Um den Mozilla Firefox dem persönlichen Geschmack anzupassen, gibt es die Möglichkeit mit der Erweiterung ChromeEdit die Dateien userChrome.css, userContent.css, user.js und prefs.js zu bearbeiten.

userChrome.css

durch folgende Einträge kann man den Texte der Tabs einfärben:

tab[selected=“true“] {color: darkred !important;}
tab:not([selected=“true“]) {color: grey !important;}

die Breite des Suchfeldes kann durch folgende Einträge vergrößert werden:

#search-container {width: 20em;}
#searchbar {width: 20em;}