From 18581afad68746a194dee86ce2d9cee78044292f Mon Sep 17 00:00:00 2001
From: "Davide P. Cervone" <dpvc@union.edu>
Date: Fri, 3 Apr 2026 18:59:08 -0400
Subject: [PATCH] Fix problem with sre.style being ignored.

---
 ts/ui/menu/Menu.ts | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/ts/ui/menu/Menu.ts b/ts/ui/menu/Menu.ts
index 8e77dbe6e..05a65f79b 100644
--- a/ts/ui/menu/Menu.ts
+++ b/ts/ui/menu/Menu.ts
@@ -1015,10 +1015,11 @@ export class Menu {
    */
   protected mergeUserSettings() {
     try {
-      const settings = localStorage.getItem(Menu.MENU_STORAGE);
-      if (!settings) return;
-      Object.assign(this.settings, JSON.parse(settings));
-      this.setA11y(this.settings);
+      const json = localStorage.getItem(Menu.MENU_STORAGE);
+      if (!json) return;
+      const settings = JSON.parse(json);
+      Object.assign(this.settings, settings);
+      this.setA11y(settings);
     } catch (err) {
       console.log('MathJax localStorage error: ' + err.message);
     }