function deindent(html){
    var lines = html.split('\n')
    if(lines[0].substring(0, 2) === "  "){
        for (var i = 0; i < lines.length; i++) {
            if (lines[i].substring(0,2) === "  ") {
                lines[i] = lines[i].slice(2)
            }
        };
    }
    return lines.join('\n')
}
function deindent(html){
    var lines = html.split('\n')
    if(lines[0].substring(0, 2) === "  "){
        for (var i = 0; i < lines.length; i++) {
            if (lines[i].substring(0,2) === "  ") {
                lines[i] = lines[i].slice(2)
            }
        };
    }
    return lines.join('\n')
}
function deindent ( html ) { var lines = html . split ( '\n' ) if ( lines [ 0 ] . substring ( 0 , 2 ) === "  " ) { for ( var i = 0 ; i < lines . length ; i ++ ) { if ( lines [ i ] . substring ( 0 , 2 ) === "  " ) { lines [ i ] = lines [ i ] . slice ( 2 ) } } ; } return lines . join ( '\n' ) }
the generated HOCR is excessively indented, so we get rid of that indentation
the generated HOCR is excessively indented so we get rid of that indentation
Deindent the given HTML