1 files changed, 27 insertions, 27 deletions

diff --git a/docs/stylesheet.css b/docs/stylesheet.css
index ac938c5c5..0feb32e8d 100644
--- 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;
+}