db2html: trim whitespace for the doxtype