]> 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: 5a7485a)
this is the first commit for the mowgli website.
authorLuca Padovani <luca.padovani@unito.it>
Mon, 11 Feb 2002 17:49:44 +0000 (17:49 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Mon, 11 Feb 2002 17:49:44 +0000 (17:49 +0000)
The structure is temporary, as are all the files in there now.

helm/mowgli/home/images/mowgli_combo.gif [new file with mode: 0644] patch | blob
helm/mowgli/home/images/mowgli_combo.png [new file with mode: 0644] patch | blob
helm/mowgli/home/images/mowgli_parquet.png [new file with mode: 0644] patch | blob
helm/mowgli/home/images/mowgli_parquet_light.png [new file with mode: 0644] patch | blob
helm/mowgli/home/style/mowgli.css [new file with mode: 0644] patch | blob
helm/mowgli/home/templates/home.html [new file with mode: 0644] patch | blob
helm/mowgli/home/templates/index.html [new file with mode: 0644] patch | blob
helm/mowgli/home/templates/menu.html [new file with mode: 0644] patch | blob

diff --git a/helm/mowgli/home/images/mowgli_combo.gif b/helm/mowgli/home/images/mowgli_combo.gif
new file mode 100644 (file)
index 0000000..5c8a6b4
Binary files /dev/null and b/helm/mowgli/home/images/mowgli_combo.gif differ
diff --git a/helm/mowgli/home/images/mowgli_combo.png b/helm/mowgli/home/images/mowgli_combo.png
new file mode 100644 (file)
index 0000000..47c989b
Binary files /dev/null and b/helm/mowgli/home/images/mowgli_combo.png differ
diff --git a/helm/mowgli/home/images/mowgli_parquet.png b/helm/mowgli/home/images/mowgli_parquet.png
new file mode 100644 (file)
index 0000000..8deab0d
Binary files /dev/null and b/helm/mowgli/home/images/mowgli_parquet.png differ
diff --git a/helm/mowgli/home/images/mowgli_parquet_light.png b/helm/mowgli/home/images/mowgli_parquet_light.png
new file mode 100644 (file)
index 0000000..9c404db
Binary files /dev/null and b/helm/mowgli/home/images/mowgli_parquet_light.png differ
diff --git a/helm/mowgli/home/style/mowgli.css b/helm/mowgli/home/style/mowgli.css
new file mode 100644 (file)
index 0000000..1dbc930
--- /dev/null
+++ b/helm/mowgli/home/style/mowgli.css
@@ -0,0 +1,90 @@
+
+table.menuborder {
+  background-color: #663300;
+}
+
+td.menutitle {
+  background-color: #cc9966;
+  color:            black;
+  font-family:      sans-serif;
+  font-weight:      bold;
+  text-align:       left;
+}
+
+td.menuentries {
+  background-color: #ffcc99;
+  color:            black;
+  font-family:      sans-serif;
+  font-size:        smaller;
+  text-align:       left;
+}
+
+dl.news {
+  font-family:      sans-serif;
+}
+
+dt.news {
+  font-family:      monospace;
+  font-weight:      bold;
+}
+
+dd.news {
+  font-family:      sans-serif;
+}
+
+div.small {
+  font-size:        smaller;
+}
+
+div.center {
+  text-align:       center;
+}
+
+div.right {
+  text-align:       right;
+}
+
+body {
+  font-family:      sans-serif;
+  background-color: white;
+  color:            black;
+}
+
+body.content {
+  font-family:      sans-serif;
+  background-color: white;
+  color:            black;
+
+}
+
+a {
+  color:            #990033;
+}
+
+a:hover {
+  background-color: #cc9966;
+  color:            black;
+}
+
+a:visited {
+  color:            black;
+}
+
+table.small {
+  font-size: small
+}
+
+td.title {
+  font-family: sans-serif;
+  font-weight: bold;
+  font-size: large
+}
+
+td.top {
+  font-weight: bold;
+  font-size: x-small
+}
+
+li {
+  list-style-type: circle
+}
diff --git a/helm/mowgli/home/templates/home.html b/helm/mowgli/home/templates/home.html
new file mode 100644 (file)
index 0000000..c824034
--- /dev/null
+++ b/helm/mowgli/home/templates/home.html
@@ -0,0 +1,50 @@
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN"
+ "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
+
+<html xmlns="http://www.w3.org/1999/xhtml">
+
+  <head>
+    <title>MoWGLI Home Page</title>
+    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
+    <link rel="stylesheet" href="mowgli.css" type="text/css"/>
+  </head>
+
+  <body class="content">
+    <div class="center">
+      <br />
+      <img src="mowgli_combo.gif"/>
+    </div>
+
+    <blockquote>
+      <br />
+      <h3>A few lines</h3>
+      with a brief description of the project
+      and possibly links to the member sites.
+      A link to a more detailed section should be provided
+      here, so that newcomers don't have to look inside the menu to read more.
+      
+      <br /><br />
+      <hr width="100%"/>
+      
+      <h3>Latest News</h3>
+
+      <dl class="news">
+        <dt class="news">January 19, 2002</dt>
+       <dd class="news">first web pages created (lp).</dd>
+
+       <dt class="news">???, 2001</dt>
+       <dd class="news">The MoWGLI project was born
+       </dd>
+      </dl>
+      
+      <hr width="100%"/>
+      
+      <div class="small">
+      This pages are hosted by the
+      <a href="http:/www.cs.unibo.it">Department of Computer Science</a>,
+      <a href="http://www.unibo.it">University of Bologna</a>.
+      </div>
+    </blockquote>
+  </body>
+
+</html>
diff --git a/helm/mowgli/home/templates/index.html b/helm/mowgli/home/templates/index.html
new file mode 100644 (file)
index 0000000..89df5e6
--- /dev/null
+++ b/helm/mowgli/home/templates/index.html
@@ -0,0 +1,17 @@
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Frameset//EN"
+     "http://www.w3.org/TR/html4/frameset.dtd">
+
+<html>
+
+  <head>
+
+  <title>MoWGLI Home Page</title>
+
+  </head>
+
+  <frameset cols="200,*" border="0">
+    <frame src="menu.html">
+    <frame src="home.html">
+  </frameset>
+
+</html>
diff --git a/helm/mowgli/home/templates/menu.html b/helm/mowgli/home/templates/menu.html
new file mode 100644 (file)
index 0000000..a277996
--- /dev/null
+++ b/helm/mowgli/home/templates/menu.html
@@ -0,0 +1,87 @@
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN"
+ "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
+
+<html xmlns="http://www.w3.org/1999/xhtml">
+
+  <head>
+    <title>MoWGLI Menu</title>
+    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
+    <link rel="stylesheet" href="mowgli.css" type="text/css"/>
+  </head>
+
+  <body>
+
+  <table class="menuborder" width="100%" border="0" cellspacing="0" cellpadding="0">
+  <tr><td>
+  <table class="menusect" width="100%" border="0" cellspacing="1" cellpadding="3">
+  <tr>
+    <td class="menutitle">Project</td>
+  </tr>
+  <tr>
+    <td class="menuentries">
+      <table width="100%" border="0">
+      <tr><td><a class="menulink" href="">Members</a></td></tr>
+      <tr><td><a class="menulink" href="">Documentation</a></td></tr>
+      <tr><td><a class="menulink" href="">Software</a> (<a class="menulink" href="">CVS</a>)</td></tr>
+      <tr><td><a class="menulink" href="">Bibliography</a></td></tr>
+      <tr><td><a class="menulink" href="">Events</a></td></tr>
+      <tr><td><a class="menulink" href="">News Archive</a></td></tr>
+      <tr><td><a class="menulink" href="">Members Area</a></td></tr>
+      </table>
+    </td>
+  </tr>
+  <tr>
+    <td class="menutitle">Related</td>
+  </tr>
+  <tr>
+    <td class="menuentries">
+      <table width="100%" border="0">
+      <tr><td><a class="menulink" href="">HELM</a></td></tr>
+      <tr><td><a class="menulink" href="">MathML</a></td></tr>
+      <tr><td><a class="menulink" href="">OpenMath</a></td></tr>
+      <tr><td><a class="menulink" href="">OmDOC</a></td></tr>
+      </table>
+    </td>
+  </tr>
+  <tr>
+    <td class="menutitle">Technologies</td>
+  </tr>
+  <tr>
+    <td class="menuentries">
+      <table width="100%" border="0">
+      <tr><td>
+        <a class="menulink" href="">SGML</a>,
+        <a class="menulink" href="">HTML</a>,
+        <a class="menulink" href="">CSS</a>
+      </td></tr>
+      <tr><td>
+        <a class="menulink" href="">XML</a>,
+        <a class="menulink" href="">XSL</a>,
+        <a class="menulink" href="">MathML</a>,
+        <a class="menulink" href="">SVG</a>
+      </td></tr>
+      <tr><td><a class="menulink" href="">DOM</a></td></tr>
+      </table>
+    </td>
+  </tr>
+  
+  <tr><td class="menutitle">About</td></tr>
+
+  <tr>
+    <td class="menuentries">
+      <div class="small">
+        <table width="100%" border="0">
+        <tr><td>Contact: <a href="mailto:asperti@cs.unibo.it">asperti@cs.unibo.it</a></td></tr>
+       <tr><td>Webmaster: <a href="mailto:mowgli-webmaster@cs.unibo.it">mowgli-webmaster@cs.unibo.it</a></td></tr>
+        <tr><td>Last Updated: <b>January 18, 2002</b></td></tr>
+        </table>
+    </td>
+  </tr>
+  
+  </table>
+  </td></tr>
+  </table>
+
+  </body>
+
+</html>
Unnamed repository; edit this file 'description' to name the repository.