On 19 Jan 2003 [EMAIL PROTECTED] wrote:
> Add printer-friendly versions of all the pages in the user guide. The > bulk of the change was in the stylesheet -- the only change to the docs > themselves was the <document uri="..."> values. > I forgot to note that I cribbed the basic idea from some enhancements to the stylesheets for Tomcat 4.1 docs that Glenn Nielsen recently added. Craig -- To unsubscribe, e-mail: <mailto:[EMAIL PROTECTED]> For additional commands, e-mail: <mailto:[EMAIL PROTECTED]>