Replaced javascript indenter with a better one