function prettyPrintOne(sourceCodeHtml, opt_langExtension, opt_numberLines) {
    var job = {
      sourceCodeHtml: sourceCodeHtml,
      langExtension: opt_langExtension,
      numberLines: opt_numberLines
    };
    applyDecorator(job);
    return job.prettyPrintedHtml;
  }
@param sourceCodeHtml {string} The HTML to pretty print.
@param opt_langExtension {string} The language name to use.
    Typically, a filename extension like 'cpp' or 'java'.
@param opt_numberLines {number|boolean} True to number lines,
    or the 1-indexed number of the first line in sourceCodeHtml.