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

[Dominik Csapak <d.csapak@proxmox.com>]

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@proxmox.com>
---
 js/ObjectGroup.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/js/ObjectGroup.js b/js/ObjectGroup.js
index d72d47c..8c72dd2 100644
--- a/js/ObjectGroup.js
+++ b/js/ObjectGroup.js
@@ -43,7 +43,7 @@ Ext.define('PMG.ObjectGroup', {
 	    me.down('#modeBox').setHidden(true);
 	    me.down('#whatWarning').setHidden(true);
 	} else {
-	    let html = '<b>' + Ext.String.htmlEncode(me.ogdata.name) + '</b>';
+	    let html = '<b style="font-weight: bold;">' + Ext.String.htmlEncode(me.ogdata.name) + '</b>';
 	    html += "<br><br>";
 	    html += Ext.String.htmlEncode(Ext.String.trim(me.ogdata.info));
 
@@ -245,7 +245,7 @@ Ext.define('PMG.ObjectGroup', {
 		    items: [
 			{
 			    xtype: 'box',
-			    html: `<b>${gettext("Match if")}</b>`,
+			    html: `<b style="font-weight: bold;">${gettext("Match if")}</b>`,
 			},
 			{
 			    xtype: 'pmgMatchModeSelector',
-- 
2.30.2