Mahlzeit,

Doch, das wurde schon angemerkt. Dafür gibt es eine User-CSS-Empfehlung, die allerding im Moment möglicherweise noch mit den Hervorhebungen für bestimmte Autoren kollidieren könnte.

Auf Dauer würde ich das aber permanent so lösen, weil dich reichlich Leute hier sind, die weder userstylesheet noch Anmeldung haben ;)

Ich hab mittlerweile auch das mti dem Einklappen hinbekommen, also läuft die Devel-Ansicht zufriedenstellend :)
Werds Sonntag mal mitm Tablet und handy testen.