function measureNavDot(id) {
    var measuringDiv = $('fontMeasuringDiv');
    measuringDiv.textContent = loadTimeData.getString(id);
    // The 4 is for border and padding.
    return Math.max(measuringDiv.clientWidth * 1.15 + 4, 80);
  }
/**
   * Measure the width of a nav dot with a given title.
   * @param {string} id The loadTimeData ID of the desired title.
   * @return {number} The width of the nav dot.
   */
Measure the width of a nav dot with a given title.
@param {string} id The loadTimeData ID of the desired title.
@return {number} The width of the nav dot.
Measure the width of a nav dot with a given title . @param { string } id The loadTimeData ID of the desired title . @return { number } The width of the nav dot .
function measureNavDot(id) {
    var measuringDiv = $('fontMeasuringDiv');
    measuringDiv.textContent = loadTimeData.getString(id);
    return Math.max(measuringDiv.clientWidth * 1.15 + 4, 80);
  }
function measureNavDot ( id ) { var measuringDiv = $ ( 'fontMeasuringDiv' ) ; measuringDiv . textContent = loadTimeData . getString ( id ) ; return Math . max ( measuringDiv . clientWidth * 1.15 + 4 , 80 ) ; }
Measure the width of a nav dot with a given title.
Measure the width of a nav dot with a given title .
// The 4 is for border and padding.