On masque le menu des styles.
[ckeditor.git] / skins / ckeditor / plugins / codemirror / theme / monokai.css
2014-04-04 Benoît PinAjout du plugin codemirror.