Danke, hat super geklappt.
Ich würde es besser finden, wenn die default- Einstellung bei browser.urlbar.trimURLs auf false stehen würde. Denn die Sache mit den Farben finde ich nicht besonders selbsterklärend; mir war sie bisher jedenfalls noch nicht aufgefallen.
Jedenfalls schönen Dank; jetzt ist alles wie gehabt.