stylesheet.css: cleaned up css code

Fixed indents, and removed redundent specifers and trailing spaces.

Signed-off-by: Martin Banky <Martin.Banky@gmail.com>
Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk>

diff --git a/docs/stylesheet.css b/docs/stylesheet.css
index ac938c5c5d1417797cd3f047379eed9a8744691f..0feb32e8de07b834a16ba8ec6a565431bd1cf9e2 100644 (file)
--- a/docs/stylesheet.css
+++ b/docs/stylesheet.css
@@ -1,13 +1,13 @@
 body {
-       margin: 0px 0px 0px 0px;
+       margin: 0px;
        color: white;
        background-color: #93c6f9;
        font: 12pt/18pt georgia;
 }
 
 div.main {
-       margin: 10px 10px 10px 10px;
-       padding: 10px 10px 10px 10px;
+       margin: 10px;
+       padding: 10px;
        color: black;
        background-color: white;
 }
@@ -16,49 +16,49 @@ div.titre {
        text-align: center;
        background-color: #336699;
        color: white;
-       padding: 10px 10px 10px 10px;
+       padding: 10px;
 }
 
 h1 {
        text-align: center;
-       font: 26pt georgia; 
-       letter-spacing: 3px; 
+       font: 26pt georgia;
+       letter-spacing: 3px;
 }
 
 h2 {
-       padding: 5px 5px 5px 5px;
+       padding: 5px;
        background-color: #c2e0ff;
        color: #336699;
 }
 
-a:link, a:visited { 
-       font-weight: bold; 
-       text-decoration: none; 
+a:link, a:visited {
+       font-weight: bold;
+       text-decoration: none;
        color: #336699;
 }
 
-a:hover, a:active { 
-       text-decoration: underline; 
+a:hover, a:active {
+       text-decoration: underline;
        color: #9685BA;
 }
 
-h3 { 
-       font: italic normal 14pt georgia; 
-       letter-spacing: 1px; 
-       margin-bottom: 0px; 
+h3 {
+       font: italic normal 14pt georgia;
+       letter-spacing: 1px;
+       margin-bottom: 0px;
        margin-left: 10px;
        margin-right: 10px;
        color: #336699;
-        border-bottom: 2px solid #336699;
+       border-bottom: 2px solid #336699;
 }
 
-h4 { 
-       font: italic normal 14pt georgia; 
-       letter-spacing: 1px; 
-       margin-bottom: 0px; 
+h4 {
+       font: italic normal 14pt georgia;
+       letter-spacing: 1px;
+       margin-bottom: 0px;
        margin-left: 10px;
        margin-right: 10px;
-        border-bottom: 1px dashed black;
+       border-bottom: 1px dashed black;
 }
 
 p {
@@ -68,8 +68,8 @@ p {
 }
 
 pre {
-  border-left: 3px #aaa solid;
-  margin-left: 1em;
-  padding: 0 1em;
-  color: #888;
-}
\ No newline at end of file
+       border-left: 3px #aaa solid;
+       margin-left: 1em;
+       padding: 0 1em;
+       color: #888;
+}