Pretty print when dumping textbooks