X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fxml%2Fld-html-root.xsl;fp=helm%2Fsoftware%2Flambda-delta%2Fxml%2Fld-html-root.xsl;h=79cf8352abea7cb8292e230e4b84d338be3c29ec;hb=c7ffbfc25d1de732804e3f1384cbb2a61305bb30;hp=fbab2793198680e58779a2a9b6726c06b5ccfcf9;hpb=66685cf7c01806a0b5f7ed80ecee3d5cd5cff90d;p=helm.git diff --git a/helm/software/lambda-delta/xml/ld-html-root.xsl b/helm/software/lambda-delta/xml/ld-html-root.xsl index fbab27931..79cf8352a 100644 --- a/helm/software/lambda-delta/xml/ld-html-root.xsl +++ b/helm/software/lambda-delta/xml/ld-html-root.xsl @@ -32,56 +32,78 @@ href="http://helm.cs.unibo.it/lambda-delta/download/crux-16.ico" /> -

+
- [lambda-delta home] -

Digital Library (LDDL)

- [Separator] +
+ +
+
+ [Spacer] -
- -

+
+ +
- [Valid XHTML 1.1] - - [Valid CSS] + + [Valid CSS level 2] + + [Generated from XML via XSL] - - [Use any browser here] + [Powered by Helena lambda-delta processor] - + [PNG used here] -
+ /> + + [Viewable with any browser] +
-
-
- Validation parameters: - sort hierarchy = "", - kernel options = "" + +
+ + + + + + + + + + +