From fc0267b590c40260cbbb034e00f83aecaf8409bd Mon Sep 17 00:00:00 2001
From: Christian Wolf <c.wolf@lsr.uni-saarland.de>
Date: Fri, 3 Nov 2017 15:24:07 +0100
Subject: [PATCH] Minor visual enhancements introduced, not done yet

---
 slt/css/desktop.css | 20 +++++++++++++++-----
 slt/css/main.css    |  3 ++-
 slt/css/mobile.css  | 30 +++++++++++-------------------
 slt/css/visual.css  |  9 +++++++++
 4 files changed, 37 insertions(+), 25 deletions(-)

diff --git a/slt/css/desktop.css b/slt/css/desktop.css
index 8b2e3ea..48f7d15 100644
--- a/slt/css/desktop.css
+++ b/slt/css/desktop.css
@@ -166,6 +166,21 @@ body
   margin: 15px 0px 15px 5px;
 }
 
+#left_menu > ul.menu
+{
+	padding: 10px;
+}
+
+#left_menu > ul.menu:hover
+{
+	box-shadow: 3px 5px 5px 2px rgba(0,0,0,0.5);
+}
+
+#left_menu > ul.menu li > a
+{
+	padding: 2px 5px 2px 5px;
+}
+
 #right_column {
   margin: 15px 5px 15px 0px;
 }
@@ -225,11 +240,6 @@ body {
 	text-decoration: none;
 }
 
-.nav a:hover {
-	background-color: #eeeeee;
-	text-decoration: none;
-}
-
 #left_side
 {
 	background-image: var(--imgleft);
diff --git a/slt/css/main.css b/slt/css/main.css
index f3b79d8..d613dbb 100644
--- a/slt/css/main.css
+++ b/slt/css/main.css
@@ -1,6 +1,7 @@
-@import "visual.css";
 
 @import "mobile.css";
 
 @import "desktop.css" ( min-width: 1000px );
 @import "desktop-narrow.css" ( min-width: 1000px) and ( max-width: 1200px );
+
+@import "visual.css";
diff --git a/slt/css/mobile.css b/slt/css/mobile.css
index d317ca1..66da20a 100644
--- a/slt/css/mobile.css
+++ b/slt/css/mobile.css
@@ -8,6 +8,11 @@ body {
 	padding: 0px;
 }
 
+#page-div
+{
+	width: 100%;
+}
+
 #page {
     /*box-shadow: 30vw 0px 5vw -10vw green inset;*/
     flex: 1 1 auto;
@@ -31,7 +36,7 @@ body {
 .nav > li > .nav-child, .nav-child > li > .nav-child {
     padding-left: 5px;
     margin-left: 5px;
-    border-left: solid gray 1px;
+    /* border-left: solid gray 1px;*/ /*TODO*/
     font-size: smaller;
 }
 
@@ -131,16 +136,16 @@ body {
 
 #mobile_menu li > a {
 	margin: 5px 0px 5px 0px;
-	background-color: #dddddd;
-	padding: 0px 5px;
+	background-color: var(--bgcolor2);
+	padding: 2px 5px;
 	display: block;
     flex: 0;
-    color: black;
+    color: var(--fgcolor2);
 }
 
 #mobile_menu li.active > a {
-	background-color: #888888;
-    color: white;
+	background-color: var(--bgcolor1);
+    color: var(--fgcolor1);
 }
 
 #mobile_menu .nav {
@@ -167,19 +172,6 @@ body {
     border: none;
 }
 
-/*#mobile_menu > .level-1 > li > ul {
-	display: flex;
-	flex-wrap: wrap;
-}
-
-#mobile_menu > .level-1 > li > ul > li {
-	display: inline-block;
-	flex: 1 1 40%;
-}
-
-#mobile_menu > .level-1 > li > ul > li > a {
-	display: block;
-}*/
 
 #mobile_menu a {
     font-size: initial;
diff --git a/slt/css/visual.css b/slt/css/visual.css
index a355274..b1e1c46 100644
--- a/slt/css/visual.css
+++ b/slt/css/visual.css
@@ -54,3 +54,12 @@ li.row-fluid {
 	background-color: var(--bgcolor1);
 	color: var(--fgcolor1);
 }
+
+
+ul.nav > li > a:hover, 
+ul.nav-child > li > a:hover
+{
+	/* background-color: inherit;*/ /* FIXME */
+	text-decoration: none;
+}
+