]> matita.cs.unibo.it Git - helm.git/blob - helm/on-line/xslt/ls2theory.xsl
Major interface improvements.
[helm.git] / helm / on-line / xslt / ls2theory.xsl
1 <?xml version="1.0"?>
2
3 <xsl:stylesheet version="1.0"
4   xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
5   xmlns:helm="http://www.cs.unibo.it/helm"
6   xmlns="http://www.w3.org/1999/xhtml"
7 >
8
9   <xsl:output method="html" encoding="iso-8859-1"/>
10
11   <xsl:param name="CICURI" select="''" />
12
13   <xsl:template match="ls">
14     <html>
15       <head>
16         <style>
17           li.section {
18             list-style-image:
19               url(http://helm.cs.unibo.it/helm/icons/section.png)
20           }
21           li.object {
22             list-style-image:
23               url(http://helm.cs.unibo.it/helm/icons/object.png)
24           }
25         </style>
26       </head>
27       <body>
28         <ul>
29           <xsl:apply-templates select="section" />
30           <xsl:apply-templates select="object" />
31         </ul>
32       </body>
33     </html>
34   </xsl:template>
35
36   <xsl:template match="section">
37     <li class="section">
38       <a class="section" href="{concat($CICURI, text(), '/')}"
39         helm:helm_link="href">
40         <xsl:value-of select="text()" />
41       </a>
42       <xsl:text>/</xsl:text>
43     </li>
44   </xsl:template>
45
46   <xsl:template match="object">
47     <li class="object">
48       <a class="object" href="{concat($CICURI, @name)}" helm:helm_link="href">
49         <xsl:value-of select="@name" />
50       </a>
51     </li>
52   </xsl:template>
53
54 </xsl:stylesheet>