<xsl:strip-space elements="ABST ABBR"/>
-<xsl:template match="ABST">
- <h2>
+<xsl:template name="ENTITY">
+ <xsl:param name="kind"/>
+ <div class="head2">
<span class="global">
- <xsl:text>Declaration:</xsl:text>
- <xsl:call-template name="entity"/>
+ <xsl:value-of select="$kind"/>
+ <xsl:call-template name="cn"/>
+ <xsl:call-template name="sp"/>
+ <span class="gref">
+ <xsl:call-template name="global"/>
+ </span>
+ <xsl:call-template name="sp"/>
+ <xsl:call-template name="op"/>
+ <span class="gref">
+ <xsl:call-template name="mk_path"/>
+ </span>
+ <xsl:call-template name="cp"/>
</span>
- </h2>
- <xsl:call-template name="META"/>
- <div><xsl:apply-templates/></div>
+ </div>
+ <div class="text">
+ <xsl:call-template name="idescr"/>
+ <xsl:call-template name="qt"/>
+ <xsl:value-of select="@meta"/>
+ <xsl:call-template name="qt"/>
+ </div>
+ <div class="text">
+ <xsl:apply-templates/>
+ </div>
+</xsl:template>
+
+<xsl:template match="ABST">
+ <xsl:call-template name="ENTITY">
+ <xsl:with-param name="kind">Declaration</xsl:with-param>
+ </xsl:call-template>
</xsl:template>
<xsl:template match="ABBR">
- <h2>
- <span class="global">
- <xsl:text>Definition:</xsl:text>
- <xsl:call-template name="entity"/>
- </span>
- </h2>
- <xsl:call-template name="META"/>
- <div><xsl:apply-templates/></div>
+ <xsl:call-template name="ENTITY">
+ <xsl:with-param name="kind">Definition</xsl:with-param>
+ </xsl:call-template>
</xsl:template>
</xsl:stylesheet>
<xsl:text>=</xsl:text>
</xsl:template>
+<xsl:template name="qt">
+ <xsl:text>"</xsl:text>
+</xsl:template>
+
+<xsl:template name="idescr">
+ <xsl:text>Informal description: </xsl:text>
+</xsl:template>
+
+<xsl:template name="vpars">
+ <xsl:text>Validation parameters: </xsl:text>
+</xsl:template>
+
+<xsl:template name="shier">
+ <xsl:text>sort hierarchy = </xsl:text>
+</xsl:template>
+
+<xsl:template name="kopts">
+ <xsl:text>kernel options = </xsl:text>
+</xsl:template>
+
<xsl:template name="multiple">
<span class="separator">
<xsl:call-template name="cm"/>
</xsl:choose>
</xsl:template>
-<xsl:template name="entity">
- <xsl:call-template name="sp"/>
- <span class="gref">
- <xsl:call-template name="global"/>
- </span>
- <xsl:call-template name="sp"/>
- <xsl:call-template name="op"/>
- <span class="gref">
- <xsl:call-template name="mk_path"/>
- </span>
- <xsl:call-template name="cp"/>
-</xsl:template>
-
-<xsl:template name="META">
- <div>Informal description: "<xsl:value-of select="@meta"/>"</div><br/>
-</xsl:template>
-
-<xsl:template name="ld">
- <xsl:text disable-output-escaping="yes">&lambda;&delta;</xsl:text>
+<xsl:template name="lddl">
+ <xsl:text disable-output-escaping="yes">&lambda;&delta; Digital Library (LDDL)</xsl:text>
</xsl:template>
</xsl:stylesheet>
href="http://helm.cs.unibo.it/lambda-delta/download/crux-16.ico"
/>
</head><body>
- <div style="text-align: center;"><br/>
+ <div class="spacer">
<a href="http://helm.cs.unibo.it/lambda-delta/">
- <img style="border: 0px solid; width: 32px; height: 32px;"
+ <img class="icon32"
alt="[lambda-delta home]" title="lambda-delta home"
src="http://helm.cs.unibo.it/lambda-delta/download/crux-32.png"
/></a>
- <h1><xsl:call-template name="ld"/> Digital Library (LDDL)</h1>
- <img style="width: 95%; height: 4px;"
- alt="[Separator]" title="Separator"
+ </div>
+ <div class="head1">
+ <xsl:call-template name="lddl"/>
+ </div>
+ <div class="spacer">
+ <img class="rule"
+ alt="[Spacer]" title="lambda-delta rainbow rule"
src="http://helm.cs.unibo.it/lambda-delta/download/rainbow.png"
/>
- <table border="0" cellpadding="0" cellspacing="0"
- style="text-align: left; width: 95%;
- margin-left: auto; margin-right: auto;"
- ><tbody><tr><td style="vertical-align: top;">
- <xsl:apply-templates/>
- </td></tr></tbody></table><br/>
+ </div>
+ <xsl:apply-templates/>
+ <div class="spacer">
<a href="http://validator.w3.org/check?uri=referer">
- <img alt="[Valid XHTML 1.1]"
+ <img class="w3c"
+ alt="[Valid XHTML 1.1]"
title="Valid XHTML 1.1"
src="http://www.w3.org/Icons/valid-xhtml11-blue"
- style="border: 0px solid ; width: 88px; height: 31px;"
- /></a>
- <a href="http://jigsaw.w3.org/css-validator/check/referer">
- <img alt="[Valid CSS]"
- title="Valid CSS"
+ /></a>
+ <a href="http://jigsaw.w3.org/css-validator/check/referer">
+ <img class="w3c"
+ alt="[Valid CSS level 2]"
+ title="Valid CSS level 2"
src="http://www.w3.org/Icons/valid-css2-blue"
- style="border: 0; width:88px; height:31px;"
+ /></a>
+ <a href="http://www.w3.org/XML/">
+ <img class="w3c"
+ alt="[Generated from XML via XSL]"
+ title="Generated from XML via XSL"
+ src="http://helm.cs.unibo.it/lambda-delta/download/xml_xsl2.png"
/></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 href="http://helm.cs.unibo.it/lambda-delta/implementation.html#helena">
+ <img class="w3c"
+ alt="[Powered by Helena lambda-delta processor]"
+ title="Powered by Helena lambda-delta processor"
+ src="http://helm.cs.unibo.it/lambda-delta/download/helena-label.png"
/></a>
- <img style="width: 88px; height: 31px;"
+ <a href="http://www.w3.org/Graphics/PNG/">
+ <img class="w3c"
alt="[PNG used here]"
title="PNG used here"
src="http://www.cs.unibo.it/%7Efguidi/download/PNGnow2.png"
- />
- <br/></div>
+ /></a>
+ <a href="http://www.anybrowser.org/campaign/">
+ <img class="w3c"
+ alt="[Viewable with any browser]"
+ title="Viewable with any browser"
+ src="http://www.anybrowser.org/campaign/bvgraphics/abtfile.png"
+ /></a>
+ </div>
</body></html>
</xsl:template>
<xsl:template match="ENTITY">
- <xsl:apply-templates/><br/>
- <div>
- Validation parameters:
- sort hierarchy = "<xsl:value-of select="@hierarchy"/>",
- kernel options = "<xsl:value-of select="@options"/>"
+ <xsl:apply-templates/>
+ <div class="text">
+ <xsl:call-template name="vpars"/>
+ <xsl:call-template name="shier"/>
+ <xsl:call-template name="qt"/>
+ <xsl:value-of select="@hierarchy"/>
+ <xsl:call-template name="qt"/>
+ <xsl:call-template name="cm"/>
+ <xsl:call-template name="sp"/>
+ <xsl:call-template name="kopts"/>
+ <xsl:call-template name="qt"/>
+ <xsl:value-of select="@options"/>
+ <xsl:call-template name="qt"/>
</div>
</xsl:template>
@charset "UTF-8";
+/* general ******************************************************************/
+
+body {
+ background: rgb(255, 255, 255);
+ color: rgb(0, 0, 0);
+ margin: 2.5%;
+}
+
a:link, a:visited {
text-decoration: underline;
}
a:active, a:hover, a:focus {
- background: rgb(192, 255, 255);
+ background: rgb(192, 192, 192);
+}
+
+/* blocks *******************************************************************/
+
+.spacer {
+ text-align: center;
+}
+
+.head1 {
+ margin: 0.5em 0;
+ text-align: center;
+ font-weight: bold;
+ font-size: xx-large;
+}
+
+.head2 {
+ margin: 0.5em 0;
+ text-align: left;
+ font-weight: bold;
+ font-size: x-large;
}
+.text {
+ margin: 1em 0;
+ text-align: left;
+}
+
+/* inline decorations *******************************************************/
+
+.icon32 {
+ border: 0;
+ width: 32px;
+ height: 32px;
+}
+
+.rule {
+ border: 0;
+ height: 4px;
+ width: 100%;
+}
+
+.w3c {
+ margin: 0 0.5em;
+ border: 0;
+ width: 88px;
+ height: 32px; /* this should be 31px */
+}
+
+/* terms ********************************************************************/
+
.separator {
+ background: rgb(255, 255, 255);
color: rgb(0, 0, 0);
}
.sort {
+ background: rgb(255, 255, 255);
color: rgb(128, 0, 255);
}
.lref {
+ background: rgb(255, 255, 255);
color: rgb(0, 0, 0);
}
.gref {
+ background: rgb(255, 255, 255);
color: rgb(0, 0, 255);
}
.appl {
+ background: rgb(255, 255, 255);
color: rgb(0, 0, 0);
}
.cast {
+ background: rgb(255, 255, 255);
color: rgb(255, 0, 0);
}
.local {
+ background: rgb(255, 255, 255);
color: rgb(0, 160, 0);
}
.global {
+ background: rgb(255, 255, 255);
color: rgb(0, 0, 0);
}
projects / helm.git / commitdiff
