function measureNavDots() {
    var styleElement = document.createElement('style');
    styleElement.type = 'text/css';
    // max-width is used because if we run out of space, the nav dots will be
    // shrunk.
    var pxWidth = measureNavDot('appDefaultPageName');
    styleElement.textContent = '.dot { max-width: ' + pxWidth + 'px; }';
    document.querySelector('head').appendChild(styleElement);
  }
/**
   * Fills in an invisible div with the longest dot title string so that
   * its length may be measured and the nav dots sized accordingly.
   */
Fills in an invisible div with the longest dot title string so that
its length may be measured and the nav dots sized accordingly.
Fills in an invisible div with the longest dot title string so that its length may be measured and the nav dots sized accordingly .
function measureNavDots() {
    var styleElement = document.createElement('style');
    styleElement.type = 'text/css';
    var pxWidth = measureNavDot('appDefaultPageName');
    styleElement.textContent = '.dot { max-width: ' + pxWidth + 'px; }';
    document.querySelector('head').appendChild(styleElement);
  }
function measureNavDots ( ) { var styleElement = document . createElement ( 'style' ) ; styleElement . type = 'text/css' ; var pxWidth = measureNavDot ( 'appDefaultPageName' ) ; styleElement . textContent = '.dot { max-width: ' + pxWidth + 'px; }' ; document . querySelector ( 'head' ) . appendChild ( styleElement ) ; }
Fills in an invisible div with the longest dot title string so that
 its length may be measured and the nav dots sized accordingly.
Fills in an invisible div with the longest dot title string so that its length may be measured and the nav dots sized accordingly .
// max-width is used because if we run out of space, the nav dots will be // shrunk.