summaryrefslogtreecommitdiffstats
path: root/docs
diff options
context:
space:
mode:
Diffstat (limited to 'docs')
-rw-r--r--docs/stylesheet.css54
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;
+}