Management of the JGloss document in HTML DOM format.