help.markup: more bold table headings.

master
John Benediktsson 2020-02-13 15:20:17 -08:00
parent 38bfcd4bf1
commit 02ec3531c3
1 changed files with 1 additions and 1 deletions

View File

@ -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 ;