From: Enrico Tassi Date: Thu, 2 Feb 2006 21:41:22 +0000 (+0000) Subject: fix X-Git-Tag: make_still_working~7666 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=65040d32e75590b098df154c7ba0be66e62cace8;p=helm.git fix --- diff --git a/helm/www/matita/community.html b/helm/www/matita/community.html index 240e4edb7..792db177e 100644 --- a/helm/www/matita/community.html +++ b/helm/www/matita/community.html @@ -1,56 +1,19 @@ - - Matita home page - community - - - - - - -

- - - - - - - - - - -
- - - - - - - - - - - - - - -
- Matita Home - - Developers - - Documentation - - Community - - Download -
-
-
- testo qui -
- - - - + + Matita home page - community + + + +
+ Matita Home + Developers + Documentation + Community + Download +
+

Miki

+

+ Miki is not yet ready... +

+ diff --git a/helm/www/matita/developers.html b/helm/www/matita/developers.html index 9e9c336fc..cdea26fc7 100644 --- a/helm/www/matita/developers.html +++ b/helm/www/matita/developers.html @@ -1,53 +1,18 @@ - - Matita home page - developers - - - - - - - -
- - - - - - - - - - -
- - - - - + + Matita home page - developers + + + +
+ Matita Home + Developers + Documentation + Community + Download +
- - - - - - -
- Matita Home - - Developers - - Documentation - - Community - - Download -
-
-
-

Current team members

+

Current team members

-

Former members

+

Former members

-

Students, developers and contributors

+

Students, developers and contributors

  • Pietro Di Lena
  • Michele Galata'
    • @@ -70,11 +35,6 @@
  • Matteo Selmi
  • Vincenzo Tamburrelli
-
- - diff --git a/helm/www/matita/documentation.html b/helm/www/matita/documentation.html index 447e8c60c..9e6718921 100644 --- a/helm/www/matita/documentation.html +++ b/helm/www/matita/documentation.html @@ -1,56 +1,19 @@ - - Matita home page - documentation - - - - - - -

- - - - - - - - - - -
- - - - - - - - - - - - - - -
- Matita Home - - Developers - - Documentation - - Community - - Download -
-
-
- testo qui -
- - - - + + Matita home page - documentation + + + +
+ Matita Home + Developers + Documentation + Community + Download +
+

User manual

+

+ Please be patient... +

+ diff --git a/helm/www/matita/download.html b/helm/www/matita/download.html index 41c6340a0..cc30eb49d 100644 --- a/helm/www/matita/download.html +++ b/helm/www/matita/download.html @@ -1,58 +1,25 @@ - - Matita home page - download - - - - - - -

- - - - - - - - - - -
- - - - - - - - - - - - - - -
- Matita Home - - Developers - - Documentation - - Community - - Download -
-
- Since there is no official release, you can browse the svn - repository and get sources of the ocaml/ and - matita/ modules. -
-
- - + + Matita home page - download + + + +
+ Matita Home + Developers + Documentation + Community + Download +
+

Sources

+

+ Since there is no official release, you can browse the svn repository + and get sources of the ocaml/ + and matita/ + modules. +

diff --git a/helm/www/matita/style.css b/helm/www/matita/style.css new file mode 100644 index 000000000..0a3be849c --- /dev/null +++ b/helm/www/matita/style.css @@ -0,0 +1,77 @@ +body { + font-family: sans-serif; + font-size: 14pt; + + margin-left: 20px; +} + +span.h1 { + font-family: sans-serif; + font-size: 18pt; + + color: #808080; + + border-bottom-width: 4px; + border-top-width: 0px; + border-left-width: 0px; + border-right-width: 0px; + border-style: solid; + border-color: #cb8080; + + margin-right:auto; +} + +p { + margin-left:5px; +} + +a.upmenu { + color: #591622; + background-color: #ffffff; + + font-family: sans-serif; + font-style : italic; + + text-decoration : none; + + border-color: #cb8080; + border-bottom-width: 3px; + border-top-width: 0px; + border-left-width: 0px; + border-right-width: 0px; + border-style: solid; + + margin-left:20px; + margin-right:20px; +} + +a.upmenu:hover { + color: #591622; + border-color: #808080; +} + +a { + color: #591622; + text-decoration : none; + + /* + border-bottom-width: 2px; + border-top-width: 0px; + border-left-width: 0px; + border-right-width: 0px; + border-style: solid; + border-color: #cb8080; + */ +} + +a:hover { + color: #808080; +} + +div.upmenu { + display: block; + width: auto; + text-align:center; + margin-bottom: 40px; +} +