/* Otterwiki CM6 Theme — all styles defined in frontend/src/theme.js (EditorView.theme) */