JS indentation plugin