Super, vielen Dank. Das mit der CSS ist ein interessanter Hinweis. Dass so etwas geht wusste ich nicht.
Hat jemand vielleicht noch eine Erklärung für meine zweite Frage oben, warum der "Junk"-Ordner generell ein anderes Verhalten zeigt als die anderen Ordner (bezüglich Möglichkeit umbenennen / löschen)?