resources/www/scripts/explorer.js
function(node, highlighter) {
      this.div.classList.add('MJX_LiveRegion_Show');
      var rect = node.getBoundingClientRect();
      var bot = rect.bottom + 10 + window.pageYOffset;
      var left = rect.left + window.pageXOffset;
      this.div.style.top = bot + 'px';
      this.div.style.left = left + 'px';
      var color = highlighter.colorString();
      this.inner.style.backgroundColor = color.background;
      this.inner.style.color = color.foreground;
    }
function(node, highlighter) {
      this.div.classList.add('MJX_LiveRegion_Show');
      var rect = node.getBoundingClientRect();
      var bot = rect.bottom + 10 + window.pageYOffset;
      var left = rect.left + window.pageXOffset;
      this.div.style.top = bot + 'px';
      this.div.style.left = left + 'px';
      var color = highlighter.colorString();
      this.inner.style.backgroundColor = color.background;
      this.inner.style.color = color.foreground;
    }
function ( node , highlighter ) { this . div . classList . add ( 'MJX_LiveRegion_Show' ) ; var rect = node . getBoundingClientRect ( ) ; var bot = rect . bottom + 10 + window . pageYOffset ; var left = rect . left + window . pageXOffset ; this . div . style . top = bot + 'px' ; this . div . style . left = left + 'px' ; var color = highlighter . colorString ( ) ; this . inner . style . backgroundColor = color . background ; this . inner . style . color = color . foreground ; }
Shows the live region as a subtitle of a node.
Shows the live region as a subtitle of a node .