From deb93622385bacda4dc41091b93290ef69bd0483 Mon Sep 17 00:00:00 2001
From: cedricbonhomme <devnull@localhost>
Date: Mon, 10 Sep 2012 14:26:59 +0200
Subject: Minor changes to the CSS.

---
 source/css/style.css | 133 ++++-----------------------------------------------
 1 file changed, 8 insertions(+), 125 deletions(-)

(limited to 'source/css')

diff --git a/source/css/style.css b/source/css/style.css
index d3e884a6..51a02c29 100755
--- a/source/css/style.css
+++ b/source/css/style.css
@@ -1,6 +1,6 @@
 html, body {
-    margin: 0;
-    padding: 0;
+    margin: 0px 0px 0px 5px;
+    padding: 0px 0px 0px 0px;
     width: 100%;
     height: 100%;
     overflow-x: hidden;
@@ -13,11 +13,6 @@ body {
     font: 400 0.85em Cambria, Georgia, "Trebuchet MS", Verdana, sans-serif;
 }
 
-code, pre {
-    font: 400 0.85em Cambria, Georgia, "Trebuchet MS", Verdana, sans-serif, Fixed;
-    white-space:pre-wrap;
-}
-
 img {
     border: 0px;
 }
@@ -29,7 +24,7 @@ h1 {
 }
 
 h2 {
-    margin: 0.5em 0em;
+    margin: 0.0em 0em;
     padding: 0px;
     font-style: normal;
     font-variant: normal;
@@ -50,42 +45,6 @@ h1 a, h2 a, h3 a {
     text-decoration: none;
 }
 
-h2 + h3 {
-    margin-top: 0.5em;
-}
-
-table {
-    margin-left: 2em;
-    margin-bottom: 1em;
-    border-collapse: collapse;
-    text-align: left;
-}
-
-th, td {
-    padding-right: 1em;
-    text-align: left;
-}
-
-th {
-    vertical-align: bottom;
-    border-bottom: 1px solid black;
-    text-align: left;
-}
-
-td {
-    vertical-align: top;
-    padding-top: 5px;
-    text-align: left;
-}
-
-table.border td, table.border th {
-    border: 1px solid black;
-}
-
-p {
-    margin: 0.5em 0em;
-}
-
 ol.lower {
     list-style-type: lower-alpha;
 }
@@ -99,12 +58,12 @@ ol.roman {
 }
 
 ul {
-    margin: 0em 0em 0.5em 0.5em;
+    margin: 0px 0px 0px 5px;
     padding: 0em;
 }
 
 li {
-    margin: 0em 0em 0em 0.5em;
+    margin: 0px 0px 0px 5px;
     padding: 0em;
 }
 
@@ -144,8 +103,8 @@ hr {
 }
 
 /* Navigation bars */
-.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 { position:fixed; top:145px; right:5px; margin:0px; padding:0px; white-space:nowrap; z-index:11; clear:both;}
+.nav_container.horizontal { position:absolute; white-space:normal; z-index:25; width:*; }
 .nav_container.horizontal div { float:right; padding-right:10px; }
 
 #nav {
@@ -155,11 +114,6 @@ hr {
     z-index: 2;
 }
 
-#heading, #nav, #nav ul {
-    margin: 0;
-    height: 1.0em;
-}
-
 #heading, #nav ul, #nav li {
     background: #EEEEEE;
     color: inherit;
@@ -180,16 +134,12 @@ hr {
 
 #nav li {
     margin: 0em;
-    padding: 0.2em 0em 0.2em 1em;
+    padding: 0.1em 0em 0.2em 0.1em;
     display: block;
     float: left;
     border-left: 0px solid #000000;
 }
 
-pre {
-    margin-left: 2em;
-}
-
 .right {
     clear: right;
     float: right;
@@ -273,73 +223,6 @@ blockquote.right {
     margin-right: -0.1em;
 }
 
-/* Photo album */
-
-#album {
-    margin: 0 auto;
-    padding: 3em 2em 0em 2em;
-}
-
-#thumbs {
-    background: white;
-    position: absolute;
-    left: 2em;
-    right: 2em;
-    margin-top: -100px;
-    padding-bottom: 0.5em;
-    overflow: auto;
-}
-
-#thumbs table {
-    margin: 0 auto;
-    position: relative;
-    max-width: 100%;
-    border-collapse: collapse;
-    border: 0px;
-}
-
-#pageselectors {
-    margin-top: 1em;
-    text-align: center;
-    padding-bottom: 100px;
-    margin-bottom: 0.5em;
-}
-
-#thumbs img, #photo img {
-    display: block;
-    margin: 0 auto;
-}
-
-#thumbs td {
-    width: 8em;
-    min-width: 100px;
-    text-align: center;
-    padding: 0.5em 0.5em 0em 0em;
-    border: 0px;
-    margin: 0px;
-}
-
-#photo {
-    text-align: center;
-}
-
-#thumbs img {
-    opacity: 0.99;
-    -moz-opacity: 0.99;
-}
-
-#thumbs img:hover {
-    opacity: 0.7;
-    -moz-opacity: 0.7;
-}
-
-#photo img {
-    max-width: 100%;
-    min-height: 300px;
-    max-height: 300px;
-    overflow: scroll;
-    margin-top: 0.5em;
-}
 
 /* CSS ToolTips */
     .tooltip {
-- 
cgit