From a7aca0ca7572ac01726ad46c7ab37ad3776b9802 Mon Sep 17 00:00:00 2001 From: John Benediktsson Date: Thu, 13 Feb 2020 21:01:03 -0800 Subject: [PATCH] help: change $title to nest then style. This changnes the HTML we produce to look like:
...
Instead of:
...
--- basis/help/help.factor | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/basis/help/help.factor b/basis/help/help.factor index c81dd921da..3a6e9f2bd3 100644 --- a/basis/help/help.factor +++ b/basis/help/help.factor @@ -133,8 +133,8 @@ M: word set-article-parent swap "help-parent" set-word-prop ; [ ($title) ] [ ($navigation-path) ] [ ($navigation-links) ] tri - ] with-nesting - ] with-style ; + ] with-style + ] with-nesting ; : print-topic ( topic -- ) >link