From: Luca Padovani Date: Wed, 13 Feb 2002 20:00:53 +0000 (+0000) Subject: partial implementation of IST logo. Deep pages have the wrong reference X-Git-Tag: V_0_3_0_debian_8~322 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=432ff09217ee558843c7774dc6921bfae4e6d95b;hp=7f82c382166aefe91da488d4ff7d37c0e2389352;p=helm.git partial implementation of IST logo. Deep pages have the wrong reference --- diff --git a/helm/mowgli/home/html/Makefile b/helm/mowgli/home/html/Makefile index 03f9be93d..d75d854ba 100644 --- a/helm/mowgli/home/html/Makefile +++ b/helm/mowgli/home/html/Makefile @@ -175,4 +175,5 @@ uninstall: rm -rf $(DESTDIR)/* $(XSLROOT)/%.xsl : $(XSLROOT)/common.xsl +$(DOCUMENTS) : $(XSLROOT)/common.xsl diff --git a/helm/mowgli/home/templates/home.html b/helm/mowgli/home/templates/home.html index 7edfbb24a..d7e3fbaf5 100644 --- a/helm/mowgli/home/templates/home.html +++ b/helm/mowgli/home/templates/home.html @@ -10,12 +10,18 @@ -

-
-

+ + + + + +
+ + + +
+

A few lines
with a brief description of the project @@ -40,9 +46,18 @@

- This pages are hosted by the - Department of Computer Science, - University of Bologna. + + + + + +
+ This pages are hosted by the + Department of Computer Science, + University of Bologna. + + +

diff --git a/helm/mowgli/home/xsl/common.xsl b/helm/mowgli/home/xsl/common.xsl index 1810935bf..3addf9f03 100644 --- a/helm/mowgli/home/xsl/common.xsl +++ b/helm/mowgli/home/xsl/common.xsl @@ -5,21 +5,41 @@ -

- MoWGLI: Mathematics on the Web: Get It by Logic and Interfaces -

+ + + + + +

+ MoWGLI: Mathematics on the Web: Get It by Logic and Interfaces +

- This page is hosted by the - Department of Computer Science, - University of Bologna -

+ + + + + +

+ This pages are hosted by the + Department of Computer Science, + University of Bologna. +