Syntax-Check fuer Java, Gutter Marker fuer Fehler, Tooltips fuer Fehlermeld...

ulrich

2017-03-14 e3043fddcaf5e3ea4beb022c04d411661a3499bd

 web/ui/mce.css

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


body {font-size: 12pt;}
body {font-size: 1em;}

p.myClass {color: blue;}