]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/lambda-delta/xml/ld-html-root.xsl
xml: first ld to xml stylesheets
[helm.git] / helm / software / lambda-delta / xml / ld-html-root.xsl
diff --git a/helm/software/lambda-delta/xml/ld-html-root.xsl b/helm/software/lambda-delta/xml/ld-html-root.xsl
new file mode 100644 (file)
index 0000000..a0b4907
--- /dev/null
@@ -0,0 +1,55 @@
+<?xml version="1.0" encoding="UTF-8"?>
+
+<xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
+
+<xsl:strip-space elements="ENTRY"/>
+<xsl:template match="/">
+   <html><head>
+      <meta content="Ferruccio Guidi" name="author"/>
+      <meta content="lambda-delta digital library" name="description"/>
+      <title>lambda-delta digital library (LDDL)</title>
+      <link rel="shortcut icon" 
+            href="http://helm.cs.unibo.it/lambda-delta/download/crux-16.ico"
+      />
+   </head><body>
+      <h1 style="text-align: center;">
+         <a href="http://helm.cs.unibo.it/lambda-delta/">
+         <img style="border: 0px solid; width: 32px; height: 32px;" 
+             alt="[lambda-delta-home]"
+              title="lambda-delta home"
+             src="http://helm.cs.unibo.it/lambda-delta/download/crux-32.png"
+        /></a>
+      </h1>
+      <xsl:apply-templates/><h2/>
+      <div style="text-align: center;">
+         <a href="http://validator.w3.org/check?uri=referer">
+         <img alt="[Valid HTML 4.01 Transitional]"
+             title="Valid HTML 4.01 Transitional"
+              src="http://www.w3.org/Icons/valid-html401"
+              style="border: 0px solid ; width: 88px; height: 31px;"
+         /></a>
+        <a href="http://www.anybrowser.org/campaign/">
+        <img alt="[Use any browser here]"
+             title="Use any browser here"
+              src="http://www.cs.unibo.it/%7Efguidi/download/globe-trans.png"
+              style="border: 0px solid ; width: 147px; height: 42px;"
+        /></a>
+        <img style="width: 88px; height: 31px;"
+             alt="[png used here]"
+             title="png used here"
+             src="http://www.cs.unibo.it/%7Efguidi/download/PNGnow2.png"
+        />
+      </div>
+   </body></html>
+</xsl:template>
+
+<xsl:template match="ENTRY">
+   <xsl:apply-templates/><h2/>
+   <div>
+      Validation parameters:
+      sort hierarchy = "<xsl:value-of select="@hierarchy"/>",
+      kernel options = "<xsl:value-of select="@options"/>"
+   </div>
+</xsl:template>
+
+</xsl:stylesheet>