Availability:
:- use_module(pldoc(doc_html)).
- doc_page_dom(+Title, +Body, -DOM) is det
- Create the complete HTML DOM from the Title and Body. It adds links to the style-sheet and javaScript files.
:- use_module(pldoc(doc_html)).