From 02ec3531c325e0cd79e11d1c9677c3ee44ecd065 Mon Sep 17 00:00:00 2001 From: John Benediktsson Date: Thu, 13 Feb 2020 15:20:17 -0800 Subject: [PATCH] help.markup: more bold table headings. --- basis/help/markup/markup.factor | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/basis/help/markup/markup.factor b/basis/help/markup/markup.factor index 59b71b2188..c38be79b8f 100644 --- a/basis/help/markup/markup.factor +++ b/basis/help/markup/markup.factor @@ -503,5 +503,5 @@ M: array elements* drop icons get sort-keys [ [ <$link> ] [ definition-icon-path <$image> ] bi* swap ] assoc-map - { "" "Definition class" } prefix + { f { $strong "Definition class" } } prefix $table ;