docs: function(offset, newline){
      offset = offset || 0;
      newline = newline ? '\n' : '';
      this.buffer(newline + Array(this.indents + offset).join(this.pp));
      if (this.parentIndents)
        this.buf.push('pug_html = pug_html + pug_indent.join("");');
    }