Minor CSS improvement for small screens.

1 files changed, 11 insertions, 12 deletions

diff --git a/source/css/style.css b/source/css/style.css
index 5f9574e7..d3e884a6 100755
--- a/source/css/style.css
+++ b/source/css/style.css
@@ -144,8 +144,8 @@ hr {
 }
 
 /* Navigation bars */
-.nav_container { position:fixed; top:160px; right:60px; margin:0px; padding:0px; white-space:nowrap; z-index:11; clear:both;}
-.nav_container.horizontal { position:absolute; white-space:normal; z-index:25; width:670px; }
+.nav_container { position:fixed; top:145px; right:10px; margin:0px; padding:0px; white-space:nowrap; z-index:11; clear:both;}
+.nav_container.horizontal { position:absolute; white-space:normal; z-index:25; width:770px; }
 .nav_container.horizontal div { float:right; padding-right:10px; }
 
 #nav {
@@ -157,7 +157,7 @@ hr {
 
 #heading, #nav, #nav ul {
     margin: 0;
-    height: 1.8em;
+    height: 1.0em;
 }
 
 #heading, #nav ul, #nav li {
@@ -174,13 +174,13 @@ hr {
 
 #nav ul {
     display: block;
-    margin: 0 3em 0 0;
+    margin: 0em 0em 0em 0em;
     border-right: 0px solid #000000;
 }
 
 #nav li {
     margin: 0em;
-    padding: 0.4em 1em 0.2em 1em;
+    padding: 0.2em 0em 0.2em 1em;
     display: block;
     float: left;
     border-left: 0px solid #000000;
@@ -194,8 +194,8 @@ pre {
     clear: right;
     float: right;
     text-align: right;
-    margin: 0em 2em 0em 2em;
-    max-width: 36%;
+    margin: 0em 1em 0em 1em;
+    max-width: 25%;
 }
 
 img.right {
@@ -251,21 +251,20 @@ blockquote.right {
 }
 
 .inner {
-    margin-top: 3em;
-    padding: 0em 2em 0em 2em;
+    margin-top: 1em;
+    padding: 0em 0em 0em 0em;
     clear: both;
 }
 
 .innerlogo {
     margin-top: 0em;
-    padding: 0em 2em 0em 2em;
+    padding: 0em 0em 0em 1em;
     clear: both;
 }
 
 .left {
     float: left;
     position: absolute;
-
 }
 
 .tex {
@@ -371,4 +370,4 @@ blockquote.right {
 
     * html a:hover {
         background: transparent;
-    }
\ No newline at end of file
+    }