/* editor-stil.css – wird vom Design-Editor erzeugt (aus editor-stil.json). Noch keine Änderungen. */