Problem mit benutzerdefiniertem CSS im Theme Editor lädt nicht

Ich kann das Problem lokal mit dem Air-Theme nicht reproduzieren. Ace.js wird auf allen Tabs dieses Themes problemlos geladen.