A Motif widget set for displaying HTML 3.2 documents