]> 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: e4052c0)
- added news section
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 14 Jun 2006 08:49:31 +0000 (08:49 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 14 Jun 2006 08:49:31 +0000 (08:49 +0000)
- added <a name ...> on each level 2 heading

helm/www/matita/development.shtml patch | blob | history
helm/www/matita/documentation.shtml patch | blob | history
helm/www/matita/download.shtml patch | blob | history
helm/www/matita/matita.shtml patch | blob | history
helm/www/matita/menubar.shtml patch | blob | history
helm/www/matita/news.shtml [new file with mode: 0644] patch | blob
helm/www/matita/style.css patch | blob | history

diff --git a/helm/www/matita/development.shtml b/helm/www/matita/development.shtml
index f4cdb230732217216e0386060250c4200fc53e67..74b2037d66c2858e8ee8c6e574000dc07f3b455d 100644 (file)
--- a/helm/www/matita/development.shtml
+++ b/helm/www/matita/development.shtml
@@ -18,7 +18,8 @@
       of them, we apologize for whom we forgot to mention.
       </p>
 
-      <h2>Current team members</h2>
+      <h2>People<a name="people"></a></h2>
+      <h3>Current team members</h3>
       <ul class="wide">
        <li><a href="http://www.cs.unibo.it/~asperti/">Andrea Asperti</a> - Full Professor</li>
        <li><a href="http://www.cs.unibo.it/~sacerdot/">Claudio Sacerdoti Coen</a> - Lecturer </li>
@@ -27,7 +28,7 @@
        <li><a href="http://www.cs.unibo.it/~zacchiro/">Stefano Zacchiroli</a> - PhD Student</li>
       </ul>
 
-      <h2>Former members</h2>
+      <h3>Former members</h3>
       <ul class="wide">
        <li><a href="http://www.sti.uniurb.it/padovani/">Luca Padovani</a> - Lecturer</li>
        <li><a href="http://www.cs.unibo.it/~schena/">Irene Schena</a> - PhD</li>
diff --git a/helm/www/matita/documentation.shtml b/helm/www/matita/documentation.shtml
index 6586fc714150193964a8f6941020b06eae4f9e83..e2b0f4e3f4a5cfbb2ab99fb66c3ba41716901f89 100644 (file)
--- a/helm/www/matita/documentation.shtml
+++ b/helm/www/matita/documentation.shtml
@@ -10,7 +10,7 @@
     <div class="main">
       <h1>Matita Documentation</h1>
 
-      <h2>User Manual</h2>
+      <h2>User Manual<a name="manual"></a></h2>
 
       <p> The Matita User Manual is accessible from Matita itself via the
       <a href="http://developer.gnome.org/arch/doc/help.html">GNOME Help
diff --git a/helm/www/matita/download.shtml b/helm/www/matita/download.shtml
index 179ca003433868d1370cedaaf1cf079e6fd50bc1..1588aeb799ee2a6d65759324c5308b89bb9adeeb 100644 (file)
--- a/helm/www/matita/download.shtml
+++ b/helm/www/matita/download.shtml
@@ -10,16 +10,16 @@
     <div class="main">
       <h1>Download Matita!</h1>
 
-      <h2>Releases</h2>
+      <h2>Releases<a name="releases"></a></h2>
       Matita has no official releases yet.
 
-      <h2>License</h2>
+      <h2>License<a name="license"></a></h2>
       All our source code is released under the terms of the <a
       href="http://www.gnu.org/licenses/gpl.html">GNU General Public
       Licence</a> and is publically accessible on our <a
       href="http://subversion.tigris.org">Subversion</a> repository.
 
-      <h2>Subversion repository</h2>
+      <h2>Subversion repository<a name="repo"></a></h2>
       <p>
       You can <a href="http://helm.cs.unibo.it/websvn/listing.php?repname=helm&amp;path=%2F&amp;sc=0">browse our svn repository</a> directly on the web.
       </p>
diff --git a/helm/www/matita/matita.shtml b/helm/www/matita/matita.shtml
index 30830764c887d54ad30445ca868b9770ce19ab05..57298c377974123e06b9e4ba7e40e57310a992ab 100644 (file)
--- a/helm/www/matita/matita.shtml
+++ b/helm/www/matita/matita.shtml
@@ -7,6 +7,7 @@
   </head>
   <body>
     <!--#include virtual="menubar.shtml" -->
+    <!--#include virtual="news.shtml" -->
     <div class="main">
 
       <div class="topimage">
diff --git a/helm/www/matita/menubar.shtml b/helm/www/matita/menubar.shtml
index 205e72c1fed1e122360b5e0ebd7aa7f8e81a922a..2178235c98895c87a0976f0e7498d1b7fffa0101 100644 (file)
--- a/helm/www/matita/menubar.shtml
+++ b/helm/www/matita/menubar.shtml
@@ -1,4 +1,5 @@
 <!-- $Id$ -->
+
 <div class="menu">  
   <a class="quiet" href="index.shtml">
     <img src="images/matita-small.png" alt="Small Matita logo" />
@@ -11,3 +12,4 @@
     <li> <a href="download.shtml">Download</a> </li>
   </ul>
 </div>
+
diff --git a/helm/www/matita/news.shtml b/helm/www/matita/news.shtml
new file mode 100644 (file)
index 0000000..e478812
--- /dev/null
+++ b/helm/www/matita/news.shtml
@@ -0,0 +1,12 @@
+<!-- $Id$ -->
+
+<div class="news">
+  <strong>News:</strong>
+  <ul>
+    <li> <span class="date">14 Jun 2006</span><br />
+    <a href="community.shtml#lists">mailing lists</a> for Matita are now
+    available
+    </li>
+  </ul>
+</div>
+
diff --git a/helm/www/matita/style.css b/helm/www/matita/style.css
index a09fba17a9aab51d855ee2652f5d571f749a6485..d93a2e06739d02e3754169340056de8597053628 100644 (file)
--- a/helm/www/matita/style.css
+++ b/helm/www/matita/style.css
@@ -21,6 +21,16 @@ div.main {
   padding-left:20px;
 }
 
+div.news {
+  position: absolute;
+  top: 20px;
+  left: 830px;
+  font-size: 10pt;
+  width: 100px;
+  background: #eaeaea;
+  padding: 10px;
+}
+
 /* site-wide typesetting */
 
 body {
@@ -99,6 +109,17 @@ a.menu:hover {
   background-color: #ecf6f9;
 }
 
+/* news */
+
+div.news ul {
+  padding-left: 0px;
+  list-style: inside;
+}
+
+div.news span.date {
+  font-style: italic;
+}
+
 /* fancy classes */
 
 samp.tiny {
Unnamed repository; edit this file 'description' to name the repository.