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..7e4dc6fd6 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..ca07756d2 100644 --- a/ts/ui/menu/Menu.ts +++ b/ts/ui/menu/Menu.ts @@ -823,16 +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'), - ], - true - ), + 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', [