automatic indentation of the x.scrbl