]> matita.cs.unibo.it Git - helm.git/commitdiff
projects / helm.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 2bd5ff7)
- more uniform layout
authorLuca Padovani <luca.padovani@unito.it>
Wed, 13 Feb 2002 17:18:09 +0000 (17:18 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Wed, 13 Feb 2002 17:18:09 +0000 (17:18 +0000)
- a few fixes

helm/mowgli/home/xsl/common.xsl patch | blob | history
helm/mowgli/home/xsl/consortium.xsl patch | blob | history
helm/mowgli/home/xsl/news.xsl patch | blob | history
helm/mowgli/home/xsl/person.xsl patch | blob | history
helm/mowgli/home/xsl/project.xsl patch | blob | history
helm/mowgli/home/xsl/publication.xsl patch | blob | history
helm/mowgli/home/xsl/site.xsl patch | blob | history
helm/mowgli/home/xsl/work-package.xsl patch | blob | history
helm/mowgli/home/xsl/work-packages_index.xsl patch | blob | history

diff --git a/helm/mowgli/home/xsl/common.xsl b/helm/mowgli/home/xsl/common.xsl
index c4f0d3a448a00e02a145738bf01ce0135e62abd0..2308630f5956842f32f07db6b3f3ef415caee2a6 100644 (file)
--- a/helm/mowgli/home/xsl/common.xsl
+++ b/helm/mowgli/home/xsl/common.xsl
@@ -21,5 +21,12 @@
   </div>
 </xsl:template>
 
+<xsl:template name="person-name">
+  <xsl:param name="file" select="''"/>
+  <xsl:value-of select="document(concat('../xml/people/',$file,'.xml'))/person/name"/>
+  <xsl:value-of select="' '"/>
+  <xsl:value-of select="document(concat('../xml/people/',$file,'.xml'))/person/surname"/>
+</xsl:template>
+
 </xsl:stylesheet>
 
diff --git a/helm/mowgli/home/xsl/consortium.xsl b/helm/mowgli/home/xsl/consortium.xsl
index 81327d1410fa4d28caadd3b7e13b5e6ff8070fc9..291eaaa9fcc4f6b3558ffdbc17f868fb17d7bed4 100644 (file)
--- a/helm/mowgli/home/xsl/consortium.xsl
+++ b/helm/mowgli/home/xsl/consortium.xsl
@@ -15,7 +15,11 @@
    <link rel="stylesheet" href="../style/mowgli.css" type="text/css"/>
   </head>
   <body>
-   <xsl:apply-templates/>
+   <blockquote>
+    <xsl:call-template name="head"/>
+    <xsl:apply-templates/>
+    <xsl:call-template name="foot"/>
+   </blockquote>
   </body>
  </html>
 </xsl:template>
@@ -31,7 +35,7 @@
   <xsl:for-each select="site">
    <li>
     <a href="sites/{@file}.html">
-     <xsl:value-of select="@file"/>
+     <xsl:value-of select="document(concat('../xml/sites/',@file,'.xml'))/site/name"/>
     </a>
    </li>
   </xsl:for-each>
diff --git a/helm/mowgli/home/xsl/news.xsl b/helm/mowgli/home/xsl/news.xsl
index 6e7146cb1e3a5f6dc83048360b6977fe1a6439e4..5c0d0d7e7e1097339d39603ff02c875c42e5d638 100644 (file)
--- a/helm/mowgli/home/xsl/news.xsl
+++ b/helm/mowgli/home/xsl/news.xsl
@@ -46,9 +46,9 @@
     <em>
      <a href="people/{who/@file}.html">
       <div class="small">
-       <xsl:value-of select="$who/name"/>
-       <xsl:text> </xsl:text>
-       <xsl:value-of select="$who/surname"/>
+       <xsl:call-template name="person-name">
+        <xsl:with-param name="file" select="who/@file"/>
+       </xsl:call-template>
       </div>
      </a>
     </em>
diff --git a/helm/mowgli/home/xsl/person.xsl b/helm/mowgli/home/xsl/person.xsl
index 1942a977ce9ed376737dbad7c01578fd6005b72d..f632a9a4d9476e75bf9653474e0744eb2233c380 100644 (file)
--- a/helm/mowgli/home/xsl/person.xsl
+++ b/helm/mowgli/home/xsl/person.xsl
@@ -24,7 +24,11 @@
    <link rel="stylesheet" href="../../../style/mowgli.css" type="text/css"/>
   </head>
   <body>
-   <xsl:apply-templates/>
+   <blockquote>
+    <xsl:call-template name="head"/>
+    <xsl:apply-templates/>
+    <xsl:call-template name="foot"/>
+   </blockquote>
   </body>
  </html>
 </xsl:template>
diff --git a/helm/mowgli/home/xsl/project.xsl b/helm/mowgli/home/xsl/project.xsl
index 5e93d57655f377f3dbab278106e32687a53c1cec..1df016bf2e245007c1d170feed428f3f180b29c9 100644 (file)
--- a/helm/mowgli/home/xsl/project.xsl
+++ b/helm/mowgli/home/xsl/project.xsl
@@ -15,7 +15,11 @@
    <link rel="stylesheet" href="../style/mowgli.css" type="text/css"/>
   </head>
   <body>
-   <xsl:apply-templates/>
+   <blockquote>
+    <xsl:call-template name="head"/>
+    <xsl:apply-templates/>
+    <xsl:call-template name="foot"/>
+   </blockquote>
   </body>
  </html>
 </xsl:template>
diff --git a/helm/mowgli/home/xsl/publication.xsl b/helm/mowgli/home/xsl/publication.xsl
index 2c9903cb7f048397d27982086027341d63e9d3a6..0e1ef35fe3206f6b151b238ec007319eb2700f80 100644 (file)
--- a/helm/mowgli/home/xsl/publication.xsl
+++ b/helm/mowgli/home/xsl/publication.xsl
@@ -15,7 +15,11 @@
    <link rel="stylesheet" href="../../../style/mowgli.css" type="text/css"/>
   </head>
   <body>
-   <xsl:apply-templates/>
+   <blockquote>
+    <xsl:call-template name="head"/>
+    <xsl:apply-templates/>
+    <xsl:call-template name="foot"/>
+   </blockquote>
   </body>
  </html>
 </xsl:template>
diff --git a/helm/mowgli/home/xsl/site.xsl b/helm/mowgli/home/xsl/site.xsl
index f7568a823ba4ebef55c50c40bc19c807b8225a14..9aa0ecd2fc6716b6cb13a75b9d172e3ff0d8fc20 100644 (file)
--- a/helm/mowgli/home/xsl/site.xsl
+++ b/helm/mowgli/home/xsl/site.xsl
@@ -15,7 +15,11 @@
    <link rel="stylesheet" href="../../style/mowgli.css" type="text/css"/>
   </head>
   <body>
-   <xsl:apply-templates/>
+   <blockquote>
+    <xsl:call-template name="head"/>
+    <xsl:apply-templates/>
+    <xsl:call-template name="foot"/>
+   </blockquote>
   </body>
  </html>
 </xsl:template>
@@ -47,7 +51,9 @@
    <p>
     <xsl:text>Site responsible: </xsl:text>
     <a href="../people/{responsible/@file}.html">
-     <xsl:value-of select="responsible/@file"/>
+     <xsl:call-template name="person-name">
+      <xsl:with-param name="file" select="responsible/@file"/>
+     </xsl:call-template>
     </a>
     <xsl:text>.</xsl:text>
    </p>
@@ -75,7 +81,9 @@
   <xsl:for-each select="member">
    <li>
     <a href="../people/{@file}.html">
-     <xsl:value-of select="@file"/>
+     <xsl:call-template name="person-name">
+      <xsl:with-param name="file" select="@file"/>
+     </xsl:call-template>
     </a>
    </li>
   </xsl:for-each>
diff --git a/helm/mowgli/home/xsl/work-package.xsl b/helm/mowgli/home/xsl/work-package.xsl
index eafaad9d1b73670846017a3178e36bfb19e7c90b..22486f4a1825322a91dc23476c1cb3860bfed885 100644 (file)
--- a/helm/mowgli/home/xsl/work-package.xsl
+++ b/helm/mowgli/home/xsl/work-package.xsl
@@ -20,7 +20,11 @@
    <link rel="stylesheet" href="../../style/mowgli.css" type="text/css"/>
   </head>
   <body>
-   <xsl:apply-templates/>
+   <blockquote>
+    <xsl:call-template name="head"/>
+    <xsl:apply-templates/>
+    <xsl:call-template name="foot"/>
+   </blockquote>
   </body>
  </html>
 </xsl:template>
diff --git a/helm/mowgli/home/xsl/work-packages_index.xsl b/helm/mowgli/home/xsl/work-packages_index.xsl
index ddd9a035f07181e51807c6372bf06ef8469a0261..af2b199eb9f574d46e211a0032ac0227b4cd8b9a 100644 (file)
--- a/helm/mowgli/home/xsl/work-packages_index.xsl
+++ b/helm/mowgli/home/xsl/work-packages_index.xsl
@@ -15,7 +15,11 @@
    <link rel="stylesheet" href="../../style/mowgli.css" type="text/css"/>
   </head>
   <body>
-   <xsl:apply-templates/>
+   <blockquote>
+    <xsl:call-template name="head"/>
+    <xsl:apply-templates/>
+    <xsl:call-template name="foot"/>
+   </blockquote>
   </body>
  </html>
 </xsl:template>
Unnamed repository; edit this file 'description' to name the repository.