Make pretty printed tab size adjustable