]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/style/content_to_html.xsl
Many improvements in theory-rendering.
[helm.git] / helm / style / content_to_html.xsl
index 9708f3cd7291c7e9fa1ac4c21daa23fba4c47034..ecc63d53abd33d55de7e85a63a3521ed958b61ad 100644 (file)
@@ -33,6 +33,7 @@
 <!--***********************************************************************--> 
 
 <xsl:param name="CICURI" select="''"/>
+<xsl:param name="type" select="'standalone'"/>
 
 <xsl:include href="html_init.xsl"/>
 <xsl:include href="html_set.xsl"/>
@@ -60,7 +61,9 @@
 <xsl:variable name="framewidth" select="45"/>
 
 <xsl:template match="/">
-   <xsl:param name="current_indent" select="0"/>
+ <xsl:param name="current_indent" select="0"/>
+ <xsl:choose>
+  <xsl:when test="$type = 'standalone'">
    <html> 
       <head>
         <title> <xsl:value-of select="$CICURI"/> </title> <!-- FG -->
          </xsl:apply-templates>
       </body>
    </html>
+  </xsl:when>
+  <xsl:otherwise>
+   <to_be_embedded>
+    <xsl:apply-templates>
+     <xsl:with-param name="current_indent" select="0"/>
+    </xsl:apply-templates>
+   </to_be_embedded>
+  </xsl:otherwise>
+ </xsl:choose>
 </xsl:template>
 
 <!--***********************************************************************-->