Continuing my Docbook experiments, I have found this stylesheet, which allows for generation of a Webhelp interface - i.e., something similar to Microsoft's help format, but with the navigation panel rendered via a Java applet.
That applet is even provided by Microsoft as part of HTML Help Workshop - Microsoft providing an applet, strange, strange ... those were the days.
Now if only I could find a working JavaScript alternative to the applet ...