removed the annoying font size stuff

2002-01-21 03:41:38 +00:00 · 2002-01-21 03:41:38 +00:00 · ae0c61668f
parent b07067274b
commit ae0c61668f
1 changed files with 0 additions and 1 deletions
--- 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
 }