docs: 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;
      }