introduce newer version of docbook-xsl themes