Developer's manual to the Java HTML class library to create, edit, extract data & convert HTML pages to PDF, XPS, Images and other formats....utility methods, such as matrix operations and the ability to control...magnification and panning operations, as described under Magnification...