From bad22c85256d9b908b7521c2dc9b8dafdd76a7a4 Mon Sep 17 00:00:00 2001
From: Jose Antonio Ortega Ruiz <jao@gnu.org>
Date: Tue, 29 Jun 2010 14:51:46 +0200
Subject: Docs: REPL tutorial completed

---
 doc/geiser.css | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'doc/geiser.css')

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%;
-- 
cgit v1.2.3