/* ════════════════════════════════════════════════════════════════════ Éditeur enrichi : habillage sombre ════════════════════════════════════════════════════════════════════ Ces règles vivaient dans ev-app.css, que seul l'espace connecté charge. La page publique d'un sujet ouvre elle aussi un éditeur, pour le champ de motivation : elle aurait hérité d'une barre d'outils claire sur fond sombre. Plutôt que de recopier les règles, ou de servir toute la feuille de l'espace connecté à la vitrine, on les sort ici. Les deux endroits chargent ce fichier. ATTENTION AUX SÉLECTEURS : la bibliothèque compose son interface avec des ÉLÉMENTS PERSONNALISÉS (, , , ), pas avec des classes. ════════════════════════════════════════════════════════════════════ */ /* ── Éditeur enrichi ─────────────────────────────────────────────── Sa barre d'outils et sa zone de saisie sont rendues par sa propre feuille, qui ne connaît pas nos tokens. */ /* L'enveloppe de l'éditeur, sa barre d'outils et ses menus. La zone de saisie, elle, est une