summaryrefslogtreecommitdiff
path: root/doc/geiser.css
diff options
context:
space:
mode:
authorJose Antonio Ortega Ruiz <jao@gnu.org>2010-06-20 21:52:52 +0200
committerJose Antonio Ortega Ruiz <jao@gnu.org>2010-06-20 21:52:52 +0200
commit25a39cf39fa1b29636111d03ba35cd4862fcba8d (patch)
tree4e08224af77cd2b367c52b036fec44efc8ba425b /doc/geiser.css
parent2170808fe933eef91dc374a76d3a56fa57747634 (diff)
downloadgeiser-guile-25a39cf39fa1b29636111d03ba35cd4862fcba8d.tar.gz
geiser-guile-25a39cf39fa1b29636111d03ba35cd4862fcba8d.tar.bz2
Scripts for generating Geiser's website.
Diffstat (limited to 'doc/geiser.css')
-rw-r--r--doc/geiser.css65
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