1 files changed, 49 insertions, 0 deletions
diff --git a/doc/style.css b/doc/style.css
new file mode 100644
index 0000000..f1450ee
--- /dev/null
+++ b/doc/style.css
@@ -0,0 +1,49 @@
+/* Basic settings */
+body {
+        font-family: serif;
+        font-size: 120%;
+        color: #333;
+        background: white;
+        padding: 4px;
+        margin-top: 0;
+        margin-bottom: 2em;
+        margin-left: 5%;
+        margin-right: 5%;
+}
+
+a {
+        color: blue;
+        text-decoration: none;
+}
+
+a:hover {
+        text-decoration: underline;
+}
+
+img {
+	border: none 0;
+	vertical-align: top;
+}
+
+table {
+      border-collapse: collapse;
+}
+
+.right {
+      text-align: right;
+}
+
+dt {
+	font-weight: bold;
+}
+
+/* Copyright section */
+div.copyright {
+	font-size: 80%; 
+	padding: 4px;
+        border-top: solid 2px black;
+}
+
+div.header {
+        border-bottom: solid 2px black;
+}