bei der Vorgängerversion waren Schriftart, Zeilenabstand und Hover-Farbe des Cursors wie bei den Standard-Menüs im Firefox. Wie kann das bitte angepasst werden?
Du meinst wirklich das Skript extra_config_menu.uc.js? Weder in diesem Skript noch in der zugehörgien CSS-Datei gibt es Festlegungen zu Schriftart, Zeilenabstand und Hoverfarbe des Cursors. Wirkt da eventuell ein anderes Skript und/oder CSS-Datei bei dir, die da etwas verändert haben?