Gegen eine, die mit CSS3 Transitions arbeitet. Dadurch funktioniert die Navigationsleiste nun auch ohne JavaScript, erfordert aber einen Browser mit CSS3 Unterstützung (alle moderneren). Irgendwo  muss man halt leider bei der Unterstützung abstriche machen.

DIe Zeichenkodierung der Quellendatei war falsch. Habe die Gelegenheit genutzt, um die Zitatsuche ins neue Interface zu überführen.

Diese Änderungen haben noch nicht 100%ig funktioniert. Deshalb Nehme ich diese vorerst zurück, bis Karl die Fehler korrigiert hat.