From f1cff37c13de78a1508b03ba1a4790bbf16ebfe3 Mon Sep 17 00:00:00 2001 From: Doug Coleman Date: Fri, 29 Jul 2022 18:13:02 -0500 Subject: [PATCH] help.html: fix load --- basis/help/html/html.factor | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.34.1