]> matita.cs.unibo.it Git - helm.git/blobdiff - daemons/on-line/xslt/substKey.xsl
Bug fixed that made theory rendering bugged after visiting a whelp search page.
[helm.git] / daemons / on-line / xslt / substKey.xsl
index 23b12a1e9b5294635252160db1649947a1a32570..76b29991b29671ed8ee8e7e63adb924389e8d623 100644 (file)
@@ -9,6 +9,7 @@
 <xsl:output
        method="html"
        encoding="utf8"
+       doctype-public="-//W3C//DTD XHTML 1.0 Transitional//EN"
        media-type="text/html" />
 <!--
 <xsl:output