From c88661c20df65b7a8836ec095d49eb7ff964ac56 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 1 Jun 2006 09:57:50 +0000
Subject: [PATCH] Bug fixed that made theory rendering bugged after visiting a
 whelp search page.

---
 daemons/on-line/xslt/resolve_topurl.xsl | 24 ++++++++++++------------
 daemons/on-line/xslt/substKey.xsl       |  1 +
 2 files changed, 13 insertions(+), 12 deletions(-)

diff --git a/daemons/on-line/xslt/resolve_topurl.xsl b/daemons/on-line/xslt/resolve_topurl.xsl
index c7f664374..04b6a858a 100644
--- a/daemons/on-line/xslt/resolve_topurl.xsl
+++ b/daemons/on-line/xslt/resolve_topurl.xsl
@@ -249,12 +249,12 @@
  <input type="hidden" name="param.prooftreekeys" value="{$prooftreekeys}"/>
 
  <input type="hidden" name="param.media-type" value="{$media-type}"/>
- <input type="hidden" name="param.thmedia-type" select="{$thmedia-type}"/>
- <input type="hidden" name="prooftreemedia-type" select="{$prooftreemedia-type}"/>
- <input type="hidden" name="param.doctype-public" select="{$doctype-public}"/>
- <input type="hidden" name="param.encoding" select="{$encoding}"/>
- <input type="hidden" name="param.thencoding" select="{$thencoding}"/>
- <input type="hidden" name="param.prooftreeencoding" select="{$prooftreeencoding}"/>
+ <input type="hidden" name="param.thmedia-type" value="{$thmedia-type}"/>
+ <input type="hidden" name="prooftreemedia-type" value="{$prooftreemedia-type}"/>
+ <input type="hidden" name="param.doctype-public" value="{$doctype-public}"/>
+ <input type="hidden" name="param.encoding" value="{$encoding}"/>
+ <input type="hidden" name="param.thencoding" value="{$thencoding}"/>
+ <input type="hidden" name="param.prooftreeencoding" value="{$prooftreeencoding}"/>
 </xsl:template>
 
 <xsl:template name="j_params">
@@ -267,12 +267,12 @@
  <input type="hidden" name="j_prooftreekeys" value="{$prooftreekeys}"/>
 
  <input type="hidden" name="j_media_type" value="{$media-type}"/>
- <input type="hidden" name="j_thmedia_type" select="{$thmedia-type}"/>
- <input type="hidden" name="j_prooftreemedia_type" select="{$prooftreemedia-type}"/>
- <input type="hidden" name="j_doctype_public" select="{$doctype-public}"/>
- <input type="hidden" name="j_encoding" select="{$encoding}"/>
- <input type="hidden" name="j_thencoding" select="{$thencoding}"/>
- <input type="hidden" name="j_prooftreeencoding" select="{$prooftreeencoding}"/>
+ <input type="hidden" name="j_thmedia_type" value="{$thmedia-type}"/>
+ <input type="hidden" name="j_prooftreemedia_type" value="{$prooftreemedia-type}"/>
+ <input type="hidden" name="j_doctype_public" value="{$doctype-public}"/>
+ <input type="hidden" name="j_encoding" value="{$encoding}"/>
+ <input type="hidden" name="j_thencoding" value="{$thencoding}"/>
+ <input type="hidden" name="j_prooftreeencoding" value="{$prooftreeencoding}"/>
 </xsl:template>
 
 <xsl:template match="/|*">
diff --git a/daemons/on-line/xslt/substKey.xsl b/daemons/on-line/xslt/substKey.xsl
index 23b12a1e9..76b29991b 100644
--- a/daemons/on-line/xslt/substKey.xsl
+++ b/daemons/on-line/xslt/substKey.xsl
@@ -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
-- 
2.39.2