-
Christian Hergert authored
This was broken by the introduction of the weight attribute and this commit restores usefulness of bold="true".
This was broken by the introduction of the weight attribute and this commit restores usefulness of bold="true".