[pmg-devel] applied: [PATCH pmg-gui] objects: use font-weight for bold text

[Thomas Lamprecht]

Am 22/02/2024 um 15:29 schrieb Dominik Csapak:
> mdn[0] recommends using `font-weight: bold;` for making the text actually bold
> While it has the same effect often, it depends on the font and browser
> if the font is rendered bold in a <b> tag.
> 
> 0: https://developer.mozilla.org/en-US/docs/Web/HTML/Element/b
> 
> Signed-off-by: Dominik Csapak <d.csapak at proxmox.com>
> ---
>  js/ObjectGroup.js | 4 ++--
>  1 file changed, 2 insertions(+), 2 deletions(-)
> 
>

applied, thanks!

FWIW, one general option might also be to add CSS setting the font-weight to
the <b> tag in general, but not sure what would break with that..