]> 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: fdf2f44)
added images and links for validation
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 2 Feb 2006 22:30:27 +0000 (22:30 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 2 Feb 2006 22:30:27 +0000 (22:30 +0000)
helm/www/matita/developers.html patch | blob | history
helm/www/matita/images/valid-css.png [new file with mode: 0644] patch | blob
helm/www/matita/images/valid-xhtml10.png [new file with mode: 0644] patch | blob
helm/www/matita/style.css patch | blob | history

diff --git a/helm/www/matita/developers.html b/helm/www/matita/developers.html
index cdea26fc745b75780916b825e91a42012182748d..15136150a6426f0e08734cef681dbd78c657b187 100644 (file)
--- a/helm/www/matita/developers.html
+++ b/helm/www/matita/developers.html
@@ -1,3 +1,7 @@
+<?xml version="1.0" ?>
+<?xml-stylesheet type="text/css" href="style.css" ?>
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
+  "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
 <html>
 <head>
        <title>Matita home page - developers</title>
@@ -5,11 +9,11 @@
 </head>
 <body>
        <div class="upmenu">  
-               <a class="upmenu" href=index.html>Matita Home</a>
-               <a class="upmenu" href=developers.html>Developers</a>
-               <a class="upmenu" href=documentation.html>Documentation</a>
-               <a class="upmenu" href=community.html>Community</a>
-               <a class="upmenu" href=download.html>Download</a>
+               <a class="upmenu" href="index.html">Matita Home</a>
+               <a class="upmenu" href="developers.html">Developers</a>
+               <a class="upmenu" href="documentation.html">Documentation</a>
+               <a class="upmenu" href="community.html">Community</a>
+               <a class="upmenu" href="download.html">Download</a>
        </div>  
        
            <h1><span class="h1">Current team members</span></h1>
@@ -35,6 +39,18 @@
              <li>Matteo Selmi</li>
              <li>Vincenzo Tamburrelli</li>
            </ul>
-  </body>
+           <table>
+             <tr>
+               <td>
+                 <a class="quiet" href="http://validator.w3.org/check/referer">
+                   <img alt="Valid XHTML 1.0!" src="images/valid-xhtml10.png" width="88" height="31" />
+                 </a>
+                 <a class="quiet" href="http://jigsaw.w3.org/css-validator/">
+                   <img alt="Valid CSS" src="images/valid-css.png" width="88" height="31" />
+                 </a>
+               </td>
 
+             </tr>
+           </table>
+  </body>
 </html>
diff --git a/helm/www/matita/images/valid-css.png b/helm/www/matita/images/valid-css.png
new file mode 100644 (file)
index 0000000..9b2f596
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 (file)
index 0000000..2275ee6
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 48aaf686bf5435206f660809c242fa7fb1512446..cb6227a86bdb3829850b40f3f746f1c7c9a725a6 100644 (file)
--- 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; }
+
Unnamed repository; edit this file 'description' to name the repository.