help.html: remove border color now that it is set.

diff --git a/basis/help/html/html.factor b/basis/help/html/html.factor
index 2915c9605b7294073484b292a6620f87212ca5c4..b5ee48c8eb13f33a041da44b05f0dd6b9207d5a7 100644 (file)
--- a/basis/help/html/html.factor
+++ b/basis/help/html/html.factor
@@ -140,9 +140,9 @@ M: pathname url-of
         " white-space: pre-wrap; line-height: 125%;" append
     ] re-replace-with
 
-    { "font-family: monospace;" "background-color:" } [ over subseq? ] all? [
-        " border: 1px solid #e3e2db; margin: 10px 0px;" append
-    ] when
+   { "font-family: monospace;" "background-color:" } [ over subseq? ] all? [
+       " margin: 10px 0px;" append
+   ] when
 
     { "border:" "background-color:" } [ over subseq? ] all? [
         " border-radius: 5px;" append