Copy indent rules from javascript, as indenting did not really work