docs: function() {
        if (!Assistive.getOption('speech')) return;
        LiveRegion.announced = true;
        MathJax.Ajax.Styles(LiveRegion.styles);
        var div = LiveRegion.Create('polite');
        document.body.appendChild(div);
        LiveRegion.Update(div, LiveRegion.ANNOUNCE);
        setTimeout(function() {document.body.removeChild(div);}, 1000);
      }