Scripts for generating Geiser's website.

1 files changed, 65 insertions, 0 deletions

diff --git a/doc/geiser.css b/doc/geiser.css
new file mode 100644
index 0000000..bdb2c6a
--- /dev/null
+++ b/doc/geiser.css
@@ -0,0 +1,65 @@
+html {
+    padding:0px;margin:0px;
+    background-color:white;
+    color:black;
+    font-family:sans-serif;
+    line-height:160%
+}
+
+body {
+    padding:10px 10% 10px 10%;
+    margin:0px;
+    text-align:justify
+}
+
+a { color:black; weight=normal }
+
+hr { height:0; color:white }
+
+h2 {
+    font-size:120%;
+    text-transform:uppercase
+}
+
+h3 {
+    font-size:100%;
+    text-transform:uppercase
+}
+
+pre.code {
+    display:block;
+    padding:0px;
+    margin-bottom:0px
+}
+
+code {
+    background-color:rgb(250, 250, 250);
+    border:1px solid rgb(200, 200, 200);
+    padding-left:4px;
+    padding-right:4px
+}
+
+pre.example {
+    background-color:rgb(250, 250, 250);
+    border:1px solid rgb(200, 200, 200);
+    padding-left:4px;
+    padding-right:4px;
+}
+
+table { width: 100%; }
+
+img {
+    display:block;
+    margin:10px auto 10px auto;
+    border:none
+}
+
+ul {
+    list-style-type:square;
+    padding-left:1em;
+    margin-left:1em
+}
+
+div.navigation {
+    background-color: #efebe7;
+}
\ No newline at end of file