Class HTMLOutputFormat