From da2bbeab1171232a340a92dbc3fcb51a58f42bb4 Mon Sep 17 00:00:00 2001
From: Andrea Asperti <andrea.asperti@unibo.it>
Date: Tue, 3 Apr 2012 08:41:08 +0000
Subject: [PATCH] Top picture
---
helm/www/matita/matita.shtml | 7 +++++++
1 file changed, 7 insertions(+)
diff --git a/helm/www/matita/matita.shtml b/helm/www/matita/matita.shtml
index a68b48830..4ea191d03 100644
--- a/helm/www/matita/matita.shtml
+++ b/helm/www/matita/matita.shtml
@@ -10,6 +10,13 @@
<!--#include virtual="menubar.shtml" -->
<!--#include virtual="news.shtml" -->
<div class="main">
+
+ <div class="topimage">
+ <img src="images/matita-text-big.png" alt="Matita" />
+ <a href="matita_it.shtml">
+ <img src="flags/wit.gif" alt="italian flag" />
+ </a>
+ </div>
<p class="spaced">
Matita (that means <em>pencil</em> in italian) is an experimental,
--
2.39.2