$Date: 2002/12/16 04:40:38 $
The HTML Stylesheet
Writing better documentation for these stylesheets is a background task.
If you have any questions that aren't answered here, please feel free to contact me.
A brief description of each of the user-configurable settings in the HTML
Reference pages for the library functions in dblib.dsl.
(FYI: this is programmer's documentation, not user documentation.)