stylesheet for docs

1 files changed, 65 insertions, 0 deletions

diff --git a/stylesheet.css b/stylesheet.css
new file mode 100644
index 000000000..2c3641782
--- /dev/null
+++ b/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