+
MARGIN_X=30
MARGIN_Y=206
SIZE_X=426
SEQ=3
-all: images/matita.xcf
+all:
+
+images: images/matita.xcf
for Y in `seq 0 $(SEQ)`; do \
convert images/matita.png -crop \
$(SIZE_X)x$(SIZE_Y)+$(MARGIN_X)+`expr $(MARGIN_Y) + $$Y '*' '(' $(SIZE_Y) + 1 ')'` tmp.png; \
+<!-- $Id$ -->
<div class="bottombar">
<samp class="tiny">Last-modified: <!--#flastmod file="$DOCUMENT_NAME"--></samp>
<div class="uplined">
- <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>
-</div>
+
<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>
+ </div>
</div>
-<!-- $Id$ -->
+<!-- $Id$ -->
<!--#include virtual="xhtml-header.shtml" -->
<html>
<head>
<!--#include virtual="menubar.shtml" -->
<div class="main">
<h1>Matita Community</h1>
- <h2><span class="h2">Miki</span></h1>
+
+ <h2>Miki</h2>
<p>
We are currently developing
<a href="http://en.wikipedia.org/wiki/Wiki">Wiki</a>-like
contributions. <em>"Miki: a formal Mathematics wIKI"</em> is the
codename of the effort.
</p>
+
<!--#include virtual="bottombar.shtml" -->
</div>
</body>
</html>
-<!-- $Id$ -->
+<!-- $Id$ -->
<!--#include virtual="xhtml-header.shtml" -->
<html>
<head>
</div>
</body>
</html>
-<!-- $Id$ -->
+<!-- $Id$ -->
<!--#include virtual="xhtml-header.shtml" -->
<html>
<head>
</div>
</body>
</html>
-<!-- $Id$ -->
+<!-- $Id$ -->
<!--#include virtual="xhtml-header.shtml" -->
<html>
<head>
<h2>Subversion repository</h2>
<p>
- You can <a href="http://helm.cs.unibo.it/websvn/listing.php?repname=helm&path=%2F&sc=0">browse our svn repository</a> directly on the web.
+ You can <a href="http://helm.cs.unibo.it/websvn/listing.php?repname=helm&path=%2F&sc=0">browse our svn repository</a> directly on the web.
</p>
<p>
To checkout a copy of the sources type:
</div>
</body>
</html>
-<!-- $Id$ -->
+<!-- $Id$ -->
<!--#include virtual="xhtml-header.shtml" -->
<html>
<head>
<div class="main">
<div class="topimage">
- <img src="images/matita-text-big.png" />
+ <img src="images/matita-text-big.png" alt="Big Matita label" />
</div>
<p> Matita is a new document-centric interactive theorem prover that
</div>
</body>
</html>
-<!-- $Id$ -->
+<!-- $Id$ -->
<div class="menu">
+ <a class="quiet" href="index.shtml">
+ <img src="images/matita-small.png" alt="Small Matita logo" />
+ </a>
<ul>
<li> <a href="index.shtml">Matita Home</a> </li>
<li> <a href="documentation.shtml">Documentation</a> </li>
+<!-- $Id$ -->
<!--#include virtual="xhtml-header.shtml" -->
<html>
<head>
<dt id="download">4. Download</dt>
<dd id="downloadDef"><a href="download.shtml"></a></dd>
</dl>
- <div>
+ </div>
</body>
</html>
-<!-- $Id$ -->
+/*
+ * CSS stylesheet for the website http://matita.cs.unibo.it/
+ *
+ * $Id$
+ */
+
+/* page layout */
+
+div.menu {
+ position: absolute;
+ left: 0px;
+ width: 150px;
+ text-align: center;
+}
+
+div.main {
+ position: absolute;
+ top: 0px;
+ left: 150px;
+ width: 650px;
+ padding-left:20px;
+}
+
+/* site-wide typesetting */
body {
font-family: sans-serif;
background-repeat: repeat;
}
-samp.tiny {
- font-size: 8pt;
-}
-
-div.main h1 {
+h1 {
font-size: 18pt;
color: #808080;
text-align: center;
}
-div.main h2 {
+h2 {
font-size: 16pt;
color: #808080;
border-color: #cb8080;
}
-div.main h3 {
+h3 {
font-size: 14pt;
color: #808080;
}
-div.main h4 {
+h4 {
font-size: 13pt;
color: #808080;
}
+a {
+ margin: 2px;
+ color: #591622;
+ text-decoration: underline;
+}
+
+a:hover {
+ text-decoration: underline;
+ background-color: #ecf6f9;
+}
+
ul {
list-style-type: square;
}
-div.menu {
- position: absolute;
- left: 0px;
- width: 150px;
- padding-top: 110px;
- background: url(images/matita-small.png);
- background-repeat: no-repeat;
- background-position: 1cm top;
-}
+/* menu */
div.menu ul {
list-style-type: none;
+ padding-left: 10px;
+ padding-right: 10px;
}
div.menu ul li {
border-bottom-style: solid;
border-color: #cb8080;
- margin-bottom: 10px;
+ margin-bottom: 15px;
}
div.menu ul li a {
background-color: #ecf6f9;
}
-ul.wide li {
- padding-bottom: 5px;
-}
-
-a {
- margin: 2px;
- color: #591622;
- text-decoration : underline;
-}
+/* fancy classes */
-a:hover {
- text-decoration : underline;
- background-color: #ecf6f9;
+samp.tiny {
+ font-size: 8pt;
}
-div.main {
- position: absolute;
- top: 0px;
- left: 200px;
- width: 650px;
+ul.wide li {
+ padding-bottom: 5px;
}
.center {
}
a.quiet:link,visited,hover {
- background-color:transparent;
+ background-color: transparent;
text-decoration: none;
- border-style:none;
-
+ border-style: none;
}
a.quiet img {
font-size: 95%;
}
-div.logo {
- background: url(images/matita-big.png);
- background-repeat: no-repeat;
- background-position: center top;
- height: 600px;
-}
-
+<!-- $Id$ -->
<?xml version="1.0" encoding="UTF-8" ?>
<?xml-stylesheet type="text/css" href="style.css" ?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
+<!-- $Id$ -->
<link type="text/css" rel="stylesheet" href="style.css"/>
projects / helm.git / commitdiff