From 8c3514f843b423c7ef1c7fdd15c44d9d73b28bcd Mon Sep 17 00:00:00 2001
From: "Davide P. Cervone" <dpvc@union.edu>
Date: Tue, 8 Jul 2025 07:28:26 -0400
Subject: [PATCH 1/2] Make 'Semantic Info' menu active (not sure why it was
 disabled)

---
 ts/a11y/explorer/ExplorerPool.ts | 4 ++--
 ts/a11y/explorer/Region.ts       | 6 +++++-
 ts/ui/menu/Menu.ts               | 1 -
 3 files changed, 7 insertions(+), 4 deletions(-)

diff --git a/ts/a11y/explorer/ExplorerPool.ts b/ts/a11y/explorer/ExplorerPool.ts
index f74d85b93..f497f1575 100644
--- a/ts/a11y/explorer/ExplorerPool.ts
+++ b/ts/a11y/explorer/ExplorerPool.ts
@@ -170,8 +170,8 @@ const allExplorers: { [options: string]: ExplorerInit } = {
       pool,
       doc.explorerRegions.tooltip3,
       node,
-      (x: HTMLElement) => x.hasAttribute('data-semantic-prefix'),
-      (x: HTMLElement) => x.getAttribute('data-semantic-prefix')
+      (x: HTMLElement) => x.hasAttribute?.('data-semantic-prefix-none'),
+      (x: HTMLElement) => x.getAttribute?.('data-semantic-prefix-none')
     ),
   flame: (
     doc: ExplorerMathDocument,
diff --git a/ts/a11y/explorer/Region.ts b/ts/a11y/explorer/Region.ts
index a4cdefa06..fb0a2c3db 100644
--- a/ts/a11y/explorer/Region.ts
+++ b/ts/a11y/explorer/Region.ts
@@ -323,7 +323,7 @@ export class ToolTip extends StringRegion {
       height: 'auto',
       opacity: 1,
       'text-align': 'center',
-      'border-radius': '6px',
+      'border-radius': '4px',
       padding: 0,
       'border-bottom': '1px dotted black',
       position: 'absolute',
@@ -331,6 +331,10 @@ export class ToolTip extends StringRegion {
       'background-color': 'white',
       'z-index': 202,
     },
+    ['.' + ToolTip.className + ' > div']: {
+      'border-radius': 'inherit',
+      padding: '0 2px',
+    }
   });
 }
 
diff --git a/ts/ui/menu/Menu.ts b/ts/ui/menu/Menu.ts
index 73057eb49..678747553 100644
--- a/ts/ui/menu/Menu.ts
+++ b/ts/ui/menu/Menu.ts
@@ -831,7 +831,6 @@ export class Menu {
               this.checkbox('Role', 'Role', 'infoRole'),
               this.checkbox('Prefix', 'Prefix', 'infoPrefix'),
             ],
-            true
           ),
           this.rule(),
           this.submenu('Role Description', 'Describe math as', [

From f5a9b7f8321754f4229103b6323c2c5544828040 Mon Sep 17 00:00:00 2001
From: "Davide P. Cervone" <dpvc@union.edu>
Date: Wed, 9 Jul 2025 16:29:57 -0400
Subject: [PATCH 2/2] Fix formatting

---
 ts/a11y/explorer/Region.ts |  2 +-
 ts/ui/menu/Menu.ts         | 14 +++++---------
 2 files changed, 6 insertions(+), 10 deletions(-)

diff --git a/ts/a11y/explorer/Region.ts b/ts/a11y/explorer/Region.ts
index fb0a2c3db..7e4dc6fd6 100644
--- a/ts/a11y/explorer/Region.ts
+++ b/ts/a11y/explorer/Region.ts
@@ -334,7 +334,7 @@ export class ToolTip extends StringRegion {
     ['.' + ToolTip.className + ' > div']: {
       'border-radius': 'inherit',
       padding: '0 2px',
-    }
+    },
   });
 }
 
diff --git a/ts/ui/menu/Menu.ts b/ts/ui/menu/Menu.ts
index 678747553..ca07756d2 100644
--- a/ts/ui/menu/Menu.ts
+++ b/ts/ui/menu/Menu.ts
@@ -823,15 +823,11 @@ export class Menu {
               ['500%'],
             ]),
           ]),
-          this.submenu(
-            'Semantic Info',
-            'Semantic Info',
-            [
-              this.checkbox('Type', 'Type', 'infoType'),
-              this.checkbox('Role', 'Role', 'infoRole'),
-              this.checkbox('Prefix', 'Prefix', 'infoPrefix'),
-            ],
-          ),
+          this.submenu('Semantic Info', 'Semantic Info', [
+            this.checkbox('Type', 'Type', 'infoType'),
+            this.checkbox('Role', 'Role', 'infoRole'),
+            this.checkbox('Prefix', 'Prefix', 'infoPrefix'),
+          ]),
           this.rule(),
           this.submenu('Role Description', 'Describe math as', [
             this.radioGroup('roleDescription', [