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 | bad22c85256d9b908b7521c2dc9b8dafdd76a7a4 (patch) | |
| tree | 4fad3b3d1bb488a155e419226eb5867ea38ea4f0 /doc/geiser.css | |
| parent | e9f3f7687ab05fb7edb6bbacadd0a5b3dd54944f (diff) | |
| download | geiser-bad22c85256d9b908b7521c2dc9b8dafdd76a7a4.tar.gz geiser-bad22c85256d9b908b7521c2dc9b8dafdd76a7a4.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%; |