From: Stefano Zacchiroli Date: Thu, 2 Feb 2006 22:30:27 +0000 (+0000) Subject: added images and links for validation X-Git-Tag: make_still_working~7663 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=28959d029595595f2d4218fb3202e838f457c3d3;p=helm.git added images and links for validation --- diff --git a/helm/www/matita/developers.html b/helm/www/matita/developers.html index cdea26fc7..15136150a 100644 --- a/helm/www/matita/developers.html +++ b/helm/www/matita/developers.html @@ -1,3 +1,7 @@ + + + Matita home page - developers @@ -5,11 +9,11 @@
- Matita Home - Developers - Documentation - Community - Download + Matita Home + Developers + Documentation + Community + Download

Current team members

@@ -35,6 +39,18 @@
  • Matteo Selmi
  • Vincenzo Tamburrelli
    • - + + + + +
    + + Valid XHTML 1.0! + + + Valid CSS + +
    + diff --git a/helm/www/matita/images/valid-css.png b/helm/www/matita/images/valid-css.png new file mode 100644 index 000000000..9b2f596e0 Binary files /dev/null and b/helm/www/matita/images/valid-css.png differ diff --git a/helm/www/matita/images/valid-xhtml10.png b/helm/www/matita/images/valid-xhtml10.png new file mode 100644 index 000000000..2275ee6ea Binary files /dev/null and b/helm/www/matita/images/valid-xhtml10.png differ diff --git a/helm/www/matita/style.css b/helm/www/matita/style.css index 48aaf686b..cb6227a86 100644 --- a/helm/www/matita/style.css +++ b/helm/www/matita/style.css @@ -82,3 +82,6 @@ div.upmenu { margin-bottom: 40px; } +a.quiet:link,visited { color: Background; } +a.quiet:visited { color: Background; } +