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/stile.css | 10 ++++++++++ 1 files changed, 10 insertions(+), 0 deletions(-) diff --git a/web/ui/stile.css b/web/ui/stile.css index dfae8bb..8f704e5 100644 --- a/web/ui/stile.css +++ b/web/ui/stile.css @@ -37,6 +37,16 @@ height: 100%; } +/* Stile MCE-Editor */ + +.mce-editor { + width: 100%; + height: 100%; +} +.text-editor { + width: 100%; + height: 100%; +} /* Stile Listenansicht */ -- Gitblit v1.9.3