Fixes for prettier

Author: dpvc

ts/a11y/explorer/Region.ts

@@ -708,7 +708,7 @@ export class HoverRegion extends AbstractRegion<HTMLElement> {
  },
  'mjx-math > mjx-mtd': {
  float: 'right',
- }
+ },
  });
 
  /**
@@ -871,7 +871,10 @@ export class HoverRegion extends AbstractRegion<HTMLElement> {
  // Handle top-level expression with a tag
  //
  const g = container.querySelector('g');
- if (container.getAttribute('width') === 'full' && g.firstChild.lastChild === node) {
+ if (
+ container.getAttribute('width') === 'full' &&
+ g.firstChild.lastChild === node
+ ) {
  mjx.innerHTML = '';
  mjx.appendChild(container.cloneNode(true).firstChild);
  mjx.querySelector('.mjx-selected').setAttribute('data-mjx-clone', 'true');
@@ -882,7 +885,11 @@ export class HoverRegion extends AbstractRegion<HTMLElement> {
  // All other expressions
  //
  (mjx.firstChild as HTMLElement).setAttribute('transform', 'scale(1, -1)');
- const W = parseFloat((mjx.getAttribute('viewBox') || mjx.getAttribute('data-mjx-viewBox')).split(/ /)[2]);
+ const W = parseFloat(
+ (
+ mjx.getAttribute('viewBox') || mjx.getAttribute('data-mjx-viewBox')
+ ).split(/ /)[2]
+ );
  const w = parseFloat(mjx.style.minWidth || mjx.getAttribute('width'));
  mjx.setAttribute('viewBox', [x, -(y + height), width, height].join(' '));
  mjx.removeAttribute('style');

ts/output/svg.ts

@@ -310,7 +310,11 @@ export class SVG<N, T, D> extends CommonOutputJax<
  const adaptor = this.adaptor;
  adaptor.setStyle(svg, 'min-width', adaptor.getStyle(svg, 'width'));
  adaptor.setAttribute(svg, 'width', pwidth);
- adaptor.setAttribute(svg, 'data-mjx-viewBox', adaptor.getAttribute(svg, 'viewBox'));
+ adaptor.setAttribute(
+ svg,
+ 'data-mjx-viewBox',
+ adaptor.getAttribute(svg, 'viewBox')
+ );
  adaptor.removeAttribute(svg, 'viewBox');
  const scale = this.fixed(
  wrapper.metrics.ex / (this.font.params.x_height * 1000),