From: Doug Coleman Date: Fri, 29 Jul 2022 23:13:02 +0000 (-0500) Subject: help.html: fix load X-Git-Tag: 0.99~1279 X-Git-Url: https://gitweb.factorcode.org/gitweb.cgi?p=factor.git;a=commitdiff_plain;h=f1cff37c13de78a1508b03ba1a4790bbf16ebfe3 help.html: fix load --- diff --git a/basis/help/html/html.factor b/basis/help/html/html.factor index 2aeb70a85a..caf2c6301f 100644 --- a/basis/help/html/html.factor +++ b/basis/help/html/html.factor @@ -140,7 +140,7 @@ M: pathname url-of " white-space: pre-wrap; line-height: 125%;" append ] re-replace-with - { "font-family: monospace;" "background-color:" } [ subsequence? ] with all?[ + dup { "font-family: monospace;" "background-color:" } [ subsequence? ] with all? [ " margin: 10px 0px;" append ] when