Adobe?

Falls es der Eine oder Andere nocht nicht mitbekommen haben sollte; der Adobe Reader ist in der Version 7.0 verfügbar. Der 7.0’er Reader startet jetzt deutlich schneller und kann hier runtergeladen werden.

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;}