Introduce HTML formatter