From 09d012cea3fa359ed4a6a41967b5f1995f9552f4 Mon Sep 17 00:00:00 2001
From: lkuehne <devnull@localhost>
Date: Thu, 17 Jan 2002 06:43:41 +0000
Subject: [PATCH] display code in medium size, extra small is almost unreadable
 (at least in Mozilla)

---
 docs/mystyle.css | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/docs/mystyle.css b/docs/mystyle.css
index 7246cfac6..d214ba07d 100644
--- a/docs/mystyle.css
+++ b/docs/mystyle.css
@@ -16,6 +16,6 @@ li.body {
 span.code {
   white-space: nowrap;
   font-family: monospace;
-  font-size: x-small;
+  font-size: medium;
   font-weight: bold
-}
\ No newline at end of file
+}