From 2a60f1cc6ed49ab559090c831788308fe3df0706 Mon Sep 17 00:00:00 2001 From: Mario Date: Sun, 20 Feb 2022 20:18:24 +0000 Subject: merge branch pdledit_gui into dev - many widgets still miss their description and requirements (this is work in progress) --- view/css/full.css | 5 ++--- view/css/minimal.css | 3 +++ view/css/mod_pdledit_gui.css | 3 +++ 3 files changed, 8 insertions(+), 3 deletions(-) create mode 100644 view/css/minimal.css create mode 100644 view/css/mod_pdledit_gui.css (limited to 'view/css') diff --git a/view/css/full.css b/view/css/full.css index 3f9a01d24..1a36c9b08 100644 --- a/view/css/full.css +++ b/view/css/full.css @@ -7,7 +7,6 @@ header #banner { } section { - display: block; - min-height: 112px; - margin: 50px 10px; + height: 100vh; + padding: 4.5rem 7px 200px 7px; } diff --git a/view/css/minimal.css b/view/css/minimal.css new file mode 100644 index 000000000..3bd04a5df --- /dev/null +++ b/view/css/minimal.css @@ -0,0 +1,3 @@ +section { + height: 100vh; +} diff --git a/view/css/mod_pdledit_gui.css b/view/css/mod_pdledit_gui.css new file mode 100644 index 000000000..dcda842dc --- /dev/null +++ b/view/css/mod_pdledit_gui.css @@ -0,0 +1,3 @@ +.aside_wrapper { + min-height: 70vh; +} -- cgit v1.2.3