summaryrefslogtreecommitdiff
path: root/doc/geiser.css
diff options
context:
space:
mode:
authorJose Antonio Ortega Ruiz <jao@gnu.org>2010-06-29 14:51:46 +0200
committerJose Antonio Ortega Ruiz <jao@gnu.org>2010-06-29 14:51:46 +0200
commit31b0547f7a37272c3a9bc111d6954e9859ed69ab (patch)
tree4a0a5a2dcab4052c0709587e9d61bcb89b008911 /doc/geiser.css
parent2f20ae673e1e7b5806270f1ee02b647eb934e5b6 (diff)
downloadgeiser-guile-31b0547f7a37272c3a9bc111d6954e9859ed69ab.tar.gz
geiser-guile-31b0547f7a37272c3a9bc111d6954e9859ed69ab.tar.bz2
Docs: REPL tutorial completed
Diffstat (limited to 'doc/geiser.css')
-rw-r--r--doc/geiser.css6
1 files changed, 5 insertions, 1 deletions
diff --git a/doc/geiser.css b/doc/geiser.css
index dd0e08f..e0ffb18 100644
--- a/doc/geiser.css
+++ b/doc/geiser.css
@@ -50,7 +50,7 @@ pre.example {
table { width: 100%; }
img {
- /* display:block; */
+ display:block;
margin:10px auto 10px auto;
border:none
}
@@ -73,6 +73,10 @@ ul {
margin-left:1em
}
+kbd {
+ font-weight: bold;
+}
+
div.navigation {
background-color: #efebe7;
line-height: 100%;