From e23bcdef804a1e6a96186b4bc97ad6f144c0846b Mon Sep 17 00:00:00 2001 From: John Benediktsson Date: Mon, 10 Jan 2022 20:51:05 -0800 Subject: [PATCH] help.html: use help-header-background color exactly. --- basis/help/html/html.factor | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/basis/help/html/html.factor b/basis/help/html/html.factor index 1f49bc567f..88d90db65d 100644 --- a/basis/help/html/html.factor +++ b/basis/help/html/html.factor @@ -123,12 +123,12 @@ M: pathname url-of dup [ [ ".a" head? ] [ "#f3f2ea;" swap subseq? ] bi and ] find [ - "background-color: #f3f2ea;" "background-color: #f5eed6;" replace + "background-color: #f3f2ea;" "background-color: #f4efd9;" replace "padding: 10px;" "padding: 15px;" replace "}" ?tail drop " border-bottom: 1px solid #ccc; width: calc(100% + 30px); margin: -15px; }" append swap pick set-nth - ".a tr:hover { background-color: #f5eed6; }" prefix + ".a tr:hover { background-color: #f4efd9; }" prefix ] [ drop ] if* ; : css-classes ( classes -- stylesheet ) -- 2.34.1