dekodieren fuer Codemirror

ulrich

2017-03-06 942d637e33c73edd807951f8100634cd659876fa

 web/ui/mce.css

@@ -17,4 +17,4 @@
*/


body {font-size: 1.1em;}
body {font-size: 1em;}