Added HTMLPrinter implementation