diff options
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 |