help.markup: more bold table headings.

flac
John Benediktsson 2020-02-13 15:20:17 -08:00 committed by Steve Ayerhart
parent 3101da4c83
commit fd8d19cd41
No known key found for this signature in database
GPG Key ID: 5BFD39C5359E967D
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 ;