From d62d1b28015b18a515bdf81e2a8f658d158fae5a Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Sat, 10 Jun 2006 09:15:15 +0000 Subject: [PATCH] - all final shtml are now well formed XML documents - added a link to the logo in the top left corner - structured and commented the CSS stylesheet - added $Id$ where missing - the Makefile no longer builds images when invoked with no targets --- helm/www/matita/Makefile | 5 +- helm/www/matita/bottombar.shtml | 14 ++--- helm/www/matita/community.shtml | 6 +- helm/www/matita/development.shtml | 2 +- helm/www/matita/documentation.shtml | 2 +- helm/www/matita/download.shtml | 4 +- helm/www/matita/matita.shtml | 4 +- helm/www/matita/menubar.shtml | 4 ++ helm/www/matita/splash.shtml | 4 +- helm/www/matita/style.css | 95 +++++++++++++++-------------- helm/www/matita/xhtml-header.shtml | 1 + helm/www/matita/xhtml-meta.shtml | 1 + 12 files changed, 79 insertions(+), 63 deletions(-) diff --git a/helm/www/matita/Makefile b/helm/www/matita/Makefile index 1f5d2d3c5..92149d112 100644 --- a/helm/www/matita/Makefile +++ b/helm/www/matita/Makefile @@ -1,3 +1,4 @@ + MARGIN_X=30 MARGIN_Y=206 SIZE_X=426 @@ -5,7 +6,9 @@ SIZE_Y=70 SEQ=3 -all: images/matita.xcf +all: + +images: images/matita.xcf for Y in `seq 0 $(SEQ)`; do \ convert images/matita.png -crop \ $(SIZE_X)x$(SIZE_Y)+$(MARGIN_X)+`expr $(MARGIN_Y) + $$Y '*' '(' $(SIZE_Y) + 1 ')'` tmp.png; \ diff --git a/helm/www/matita/bottombar.shtml b/helm/www/matita/bottombar.shtml index 41bbb828d..6c480c44a 100644 --- a/helm/www/matita/bottombar.shtml +++ b/helm/www/matita/bottombar.shtml @@ -1,11 +1,11 @@ +
Last-modified:
- - Valid XHTML 1.0! - - Valid CSS - -
+ + Valid XHTML 1.0! + + Valid CSS + +
- diff --git a/helm/www/matita/community.shtml b/helm/www/matita/community.shtml index 16e029f73..30c7029db 100644 --- a/helm/www/matita/community.shtml +++ b/helm/www/matita/community.shtml @@ -1,3 +1,4 @@ + @@ -8,7 +9,8 @@

Matita Community

-

Miki

+ +

Miki

We are currently developing Wiki-like @@ -17,8 +19,8 @@ contributions. "Miki: a formal Mathematics wIKI" is the codename of the effort.

+
- diff --git a/helm/www/matita/development.shtml b/helm/www/matita/development.shtml index 829e4713d..ebf279462 100644 --- a/helm/www/matita/development.shtml +++ b/helm/www/matita/development.shtml @@ -1,3 +1,4 @@ + @@ -41,4 +42,3 @@ - diff --git a/helm/www/matita/documentation.shtml b/helm/www/matita/documentation.shtml index 293520143..e0f6c053d 100644 --- a/helm/www/matita/documentation.shtml +++ b/helm/www/matita/documentation.shtml @@ -1,3 +1,4 @@ + @@ -23,4 +24,3 @@ - diff --git a/helm/www/matita/download.shtml b/helm/www/matita/download.shtml index b992b2694..4da6ad0b4 100644 --- a/helm/www/matita/download.shtml +++ b/helm/www/matita/download.shtml @@ -1,3 +1,4 @@ + @@ -20,7 +21,7 @@

Subversion repository

- You can browse our svn repository directly on the web. + You can browse our svn repository directly on the web.

To checkout a copy of the sources type: @@ -40,4 +41,3 @@ svn co svn://mowgli.cs.unibo.it/trunk/helm/software/matita - diff --git a/helm/www/matita/matita.shtml b/helm/www/matita/matita.shtml index ecb47af32..403c06db6 100644 --- a/helm/www/matita/matita.shtml +++ b/helm/www/matita/matita.shtml @@ -1,3 +1,4 @@ + @@ -9,7 +10,7 @@

- + Big Matita label

Matita is a new document-centric interactive theorem prover that @@ -48,4 +49,3 @@

- diff --git a/helm/www/matita/menubar.shtml b/helm/www/matita/menubar.shtml index 62e98c212..205e72c1f 100644 --- a/helm/www/matita/menubar.shtml +++ b/helm/www/matita/menubar.shtml @@ -1,4 +1,8 @@ +
+ + Small Matita logo +