2 files changed, 5 insertions, 64 deletions
diff --git a/view/css/default.css b/view/css/default.css
index f3b34a86d..d39bcd394 100644
--- a/view/css/default.css
+++ b/view/css/default.css
@@ -1,7 +1,10 @@
 
 nav {
-	height: 94px;
+	height: 24px;
 	display: block;
+	position: fixed;
+	width: 100%;
+	z-index: 100;
 }
 
 aside {
diff --git a/view/theme/redbasic/css/style.css b/view/theme/redbasic/css/style.css
index 325658775..ca1630ed5 100644
--- a/view/theme/redbasic/css/style.css
+++ b/view/theme/redbasic/css/style.css
@@ -167,13 +167,6 @@ blockquote {
 
 
 
-/* nav */
-
-nav {
-	display: block;
-
-}
-
 #langselector {
 	position: fixed; 
 	top: 3px; 
@@ -3058,61 +3051,6 @@ div.jGrowl div.info {
 	width: 90%;
 }
 
-/* nav */
-nav {
-  width: 100%;
-  height: 24px;
-  position: fixed;
-//	opacity: 0.6;
-//	filter:alpha(opacity=60);
-
-  left: 0px;
-  top: 0px;
-  padding: 0px;
-  background-color: #d00;
-  color: #eec;
-  z-index: 100;
-/*  -webkit-box-shadow: 0px 0px 10px rgba(0, 0, 0, 0.7);
-  -moz-box-shadow: 0px 0px 10px rgba(0, 0, 0, 0.7);
-  box-shadow: 0px 0px 10px rgba(0, 0, 0, 0.7); */
-
-/* TODO find a better way to do this without different code for every single browser.  */
-
-  background-image: linear-gradient(bottom, #f88 26%, #b00 82%);
-  background-image: -o-linear-gradient(bottom, #f88 26%, #b00 82%);
-  background-image: -moz-linear-gradient(bottom, #f88 26%, #b00 82%);
-  background-image: -webkit-linear-gradient(bottom, #f88 26%, #b00 82%);
-  background-image: -ms-linear-gradient(bottom, #f88 26%, #b00 82%);
-
-  background-image: -webkit-gradient(
-linear,
-left bottom,
-left top,
-color-stop(0.26, #f88),
-color-stop(0.82, #b00)
-);
-}
-
-/*
-
-nav:hover {
-
-  background-image: linear-gradient(bottom, #f00 26%, #b00 82%);
-  background-image: -o-linear-gradient(bottom, #f00 26%, #b00 82%);
-  background-image: -moz-linear-gradient(bottom, #f00 26%, #b00 82%);
-  background-image: -webkit-linear-gradient(bottom, #f00 26%, #b00 82%);
-  background-image: -ms-linear-gradient(bottom, #f00 26%, #b00 82%);
-
-  background-image: -webkit-gradient(
-linear,
-left bottom,
-left top,
-color-stop(0.26, #f00),
-color-stop(0.82, #b00)
-);
-}
-
-*/
 
 nav a,
 nav a:active,
@@ -3608,4 +3546,4 @@ margin: 20px;
 
 .pmenu li {
 	margin-left: -20px;
-}
-\ No newline at end of file
+}