objects: use font-weight for bold text

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>

diff --git a/js/ObjectGroup.js b/js/ObjectGroup.js
index d72d47c229d6c529b012d294dc80a92f01866dc6..8c72dd229bd252b6a8a3e57e19263172283b785f 100644 (file)
--- 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',