diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-06-29 14:51:46 +0200 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-06-29 14:51:46 +0200 |
| commit | 31b0547f7a37272c3a9bc111d6954e9859ed69ab (patch) | |
| tree | 4a0a5a2dcab4052c0709587e9d61bcb89b008911 /doc/geiser.css | |
| parent | 2f20ae673e1e7b5806270f1ee02b647eb934e5b6 (diff) | |
| download | geiser-guile-31b0547f7a37272c3a9bc111d6954e9859ed69ab.tar.gz geiser-guile-31b0547f7a37272c3a9bc111d6954e9859ed69ab.tar.bz2 | |
Docs: REPL tutorial completed
Diffstat (limited to 'doc/geiser.css')
| -rw-r--r-- | doc/geiser.css | 6 |
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%; |