code: function $prettyPrintOne(sourceCodeHtml, opt_langExtension, opt_numberLines) {
      /** @type{number|boolean} */
      var nl = opt_numberLines || false;
      /** @type{string|null} */
      var langExtension = opt_langExtension || null;
      /** @type{!Element} */
      var container = document.createElement('div');
      // This could cause images to load and onload listeners to fire.
      // E.g. <img onerror="alert(1337)" src="nosuchimage.png">.
      // We assume that the inner HTML is from a trusted source.
      // The pre-tag is required for IE8 which strips newlines from innerHTML
      // when it is injected into a <pre> tag.
      // http://stackoverflow.com/questions/451486/pre-tag-loses-line-breaks-when-setting-innerhtml-in-ie
      // http://stackoverflow.com/questions/195363/inserting-a-newline-into-a-pre-tag-ie-javascript
      container.innerHTML = '<pre>' + sourceCodeHtml + '</pre>';
      container = /** @type{!Element} */(container.firstChild);
      if (nl) {
        numberLines(container, nl, true);
      }
  
      /** @type{JobT} */
      var job = {
        langExtension: langExtension,
        numberLines: nl,
        sourceNode: container,
        pre: 1,
        sourceCode: null,
        basePos: null,
        spans: null,
        decorations: null
      };
      applyDecorator(job);
      return container.innerHTML;
    }
docs: Pretty print a chunk of code.
  @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.