diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-06-20 21:52:52 +0200 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-06-20 21:52:52 +0200 |
| commit | be072b757650fbc9d1508db4f9a30c613cb7ffd1 (patch) | |
| tree | 8dd145a41e2cf3c60d873956412fee23af49c95c /doc/geiser.css | |
| parent | aee15f977a17dad50f3a56fa0411b356c013a3b1 (diff) | |
| download | geiser-be072b757650fbc9d1508db4f9a30c613cb7ffd1.tar.gz geiser-be072b757650fbc9d1508db4f9a30c613cb7ffd1.tar.bz2 | |
Scripts for generating Geiser's website.
Diffstat (limited to 'doc/geiser.css')
| -rw-r--r-- | doc/geiser.css | 65 |
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 |