From e3043fddcaf5e3ea4beb022c04d411661a3499bd Mon Sep 17 00:00:00 2001 From: ulrich <undisclosed> Date: Tue, 14 Mar 2017 14:27:13 +0000 Subject: [PATCH] Syntax-Check fuer Java, Gutter Marker fuer Fehler, Tooltips fuer Fehlermeldungen --- web/ui/mce.css | 4 +++- 1 files changed, 3 insertions(+), 1 deletions(-) diff --git a/web/ui/mce.css b/web/ui/mce.css index f6bb673..3b818ac 100644 --- a/web/ui/mce.css +++ b/web/ui/mce.css @@ -17,4 +17,6 @@ */ -body {font-size: 12pt;} \ No newline at end of file +body {font-size: 1em;} + +p.myClass {color: blue;} \ No newline at end of file -- Gitblit v1.9.3