help.html: round other colored boxes

diff --git a/basis/help/html/html.factor b/basis/help/html/html.factor
index 6a022d6178b8f86b46777ea357cb2d2d2b251e78..2915c9605b7294073484b292a6620f87212ca5c4 100644 (file)
--- a/basis/help/html/html.factor
+++ b/basis/help/html/html.factor
@@ -141,7 +141,11 @@ M: pathname url-of
     ] re-replace-with
 
     { "font-family: monospace;" "background-color:" } [ over subseq? ] all? [
-        " border: 1px solid #e3e2db; border-radius: 5px; margin: 10px 0px;" append
+        " border: 1px solid #e3e2db; margin: 10px 0px;" append
+    ] when
+
+    { "border:" "background-color:" } [ over subseq? ] all? [
+        " border-radius: 5px;" append
     ] when ;
 
 : fix-help-header ( classes -- classes )