Started conversion of the html printer, including using a 3rd-party library for HTML generation. Still needs plenty of tweaking, as well as styling.