From ae0c61668f8b99d0d703ee136b0955295ed10078 Mon Sep 17 00:00:00 2001
From: Oliver Burn <oliver@puppycrawl.com>
Date: Mon, 21 Jan 2002 03:41:38 +0000
Subject: [PATCH] removed the annoying font size stuff

---
 docs/mystyle.css | 1 -
 1 file changed, 1 deletion(-)

diff --git a/docs/mystyle.css b/docs/mystyle.css
index d214ba07d..8adbeee53 100644
--- a/docs/mystyle.css
+++ b/docs/mystyle.css
@@ -16,6 +16,5 @@ li.body {
 span.code {
   white-space: nowrap;
   font-family: monospace;
-  font-size: medium;
   font-weight: bold
 }