Reindenting case.html