diff options
Diffstat (limited to 'docs/stylesheet.css')
-rw-r--r-- | docs/stylesheet.css | 65 |
1 files changed, 65 insertions, 0 deletions
diff --git a/docs/stylesheet.css b/docs/stylesheet.css new file mode 100644 index 0000000000..2c36417823 --- /dev/null +++ b/docs/stylesheet.css @@ -0,0 +1,65 @@ +body { + margin: 0px 0px 0px 0px; + color: white; + background-color: #93c6f9; + font: 12pt/18pt georgia; +} + +div.main { + margin: 10px 10px 10px 10px; + padding: 10px 10px 10px 10px; + color: black; + background-color: white; +} + +div.titre { + text-align: center; + background-color: #336699; + color: white; + padding: 10px 10px 10px 10px; +} + +h1 { + text-align: center; + font: 26pt georgia; + letter-spacing: 3px; +} + +h2 { + padding: 5px 5px 5px 5px; + background-color: #c2e0ff; + color: #336699; +} + +a:link, a:visited { + font-weight: bold; + text-decoration: none; + color: #336699; +} + +a:hover, a:active { + text-decoration: underline; + color: #9685BA; +} + +h3 { + font: italic normal 14pt georgia; + letter-spacing: 1px; + margin-bottom: 0px; + margin-left: 10px; + margin-right: 10px; + color: #336699; +} + +p { + margin-left: 10px; + margin-right: 10px; + text-align: justify; +} + +pre { + border-left: 3px #aaa solid; + margin-left: 1em; + padding: 0 1em; + color: #888; +}
\ No newline at end of file |