From 6240cdca43495122d436de8488395bf7fd5eae12 Mon Sep 17 00:00:00 2001 From: ulrich <not disclosed> Date: Tue, 27 Dec 2016 16:39:26 +0000 Subject: [PATCH] Tomcat-spezifischen Digester in eine Schnittstelle ausgelagert und per Deployment Descriptor konfigurierbar eingebunden --- web/ui/stile.css | 18 ++++++++++++++++-- 1 files changed, 16 insertions(+), 2 deletions(-) diff --git a/web/ui/stile.css b/web/ui/stile.css index b9a4c6e..3836af3 100644 --- a/web/ui/stile.css +++ b/web/ui/stile.css @@ -1,4 +1,19 @@ +html, body { + height: 100%; + margin: 0; + padding: 0; +} + +h1 { + margin: 0; + padding: 0; +} + +#inhalt { + height: 100%; +} + @@ -70,8 +85,7 @@ input[type="tel"], input[type="url"], input[type="password"], -textarea, -select { +textarea { height: 38px; padding: 6px 10px; /* The 6px vertically centers text on FF, ignored by Webkit */ background-color: #fff; -- Gitblit v1.9.3