From be072b757650fbc9d1508db4f9a30c613cb7ffd1 Mon Sep 17 00:00:00 2001
From: Jose Antonio Ortega Ruiz <jao@gnu.org>
Date: Sun, 20 Jun 2010 21:52:52 +0200
Subject: Scripts for generating Geiser's website.

---
 doc/geiser.css | 65 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 65 insertions(+)
 create mode 100644 doc/geiser.css

(limited to 'doc/geiser.css')

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
-- 
cgit v1.2.3