Prototype of optional pretty HTML code formatting