From 82eab14f29756a5fc84036c86804226cc77b0ccc Mon Sep 17 00:00:00 2001
From: "Davide P. Cervone" <dpvc@union.edu>
Date: Sat, 25 Oct 2025 10:07:25 -0400
Subject: [PATCH] Fix vector arrow positioning for Safari

---
 ts/core/MmlTree/MmlNodes/mo.ts | 3 ++-
 ts/output/chtml/FontData.ts    | 6 +++++-
 2 files changed, 7 insertions(+), 2 deletions(-)

diff --git a/ts/core/MmlTree/MmlNodes/mo.ts b/ts/core/MmlTree/MmlNodes/mo.ts
index 5b45bbe1b..5b10ab0ad 100644
--- a/ts/core/MmlTree/MmlNodes/mo.ts
+++ b/ts/core/MmlTree/MmlNodes/mo.ts
@@ -552,8 +552,9 @@ export class MmlMo extends AbstractMmlTokenNode {
       this.getProperty('mathaccent') !== undefined ||
       !parent ||
       !parent.isKind('munderover')
-    )
+    ) {
       return;
+    }
     const [base, under, over] = parent.childNodes;
     if (base.isEmbellished && base.coreMO() === this) return;
     const isUnder = !!(under && under.isEmbellished && under.coreMO() === this);
diff --git a/ts/output/chtml/FontData.ts b/ts/output/chtml/FontData.ts
index e85df272c..6bc857395 100644
--- a/ts/output/chtml/FontData.ts
+++ b/ts/output/chtml/FontData.ts
@@ -636,7 +636,7 @@ export class ChtmlFontData extends FontData<
     if (options.oc) {
       styles[selector + '[noic]'] = { 'padding-right': this.em(data[2]) };
     }
-    this.checkCombiningChar(options, styles[selector]);
+    this.checkCombiningChar(options, styles[selector] as StyleJsonData);
   }
 
   /**
@@ -656,6 +656,10 @@ export class ChtmlFontData extends FontData<
       pad.pop();
     }
     css.padding = pad.join(' ');
+    if (css.width === '0' && options.dx) {
+      css.width = this.em(2 * options.dx);
+      css['margin-left'] = '-' + css.width;
+    }
   }
 
   /***********************************************************************/