summaryrefslogtreecommitdiffstats
path: root/documentation/style.css
diff options
context:
space:
mode:
Diffstat (limited to 'documentation/style.css')
-rw-r--r--documentation/style.css53
1 files changed, 53 insertions, 0 deletions
diff --git a/documentation/style.css b/documentation/style.css
new file mode 100644
index 0000000..5dc217c
--- /dev/null
+++ b/documentation/style.css
@@ -0,0 +1,53 @@
+body {
+ font-family: "dejavu sans", sans-serif;
+ width: 80ex;
+ margin: 3em auto;
+ background-color: #eee;
+ border: 3px solid #ddd;
+}
+
+div.document {
+ padding: 3em;
+ background-color: white;
+}
+
+h1.title {
+ font-size: 200%;
+ background-color: white;
+ border: 0px;
+ margin: 0px;
+}
+
+h2.subtitle {
+ margin-top: 1ex;
+ font-size: 110%;
+}
+
+h1 {
+ font-size: 130%;
+ border-bottom: 3px solid #eee;
+ margin: 3ex 0em 0em 0em;
+}
+
+p, li {
+ line-height: 140%;
+ list-style-type: square;
+}
+
+blockquote {
+ margin: 1em;
+}
+
+pre {
+ margin-left: 3em;
+ color: #777;
+}
+
+table.docinfo {
+ display: none;
+}
+
+a {
+ color: #c00;
+ text-decoration: none;
+}