PUBLIC "-//W3C//DTD HTML 4.01//EN"
	STYLESPEC "Default HTML style" "html.css" "text/css"
	TOC "DocZilla TOC Tree" "li-toc.xsl" "text/xsl"