From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 9 Jun 2006 14:31:34 +0000 (+0000)
Subject: added css and image for bugzilla
X-Git-Tag: make_still_working~7250
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=19849608a5bf22dc233abf5030745f3ea0fcd4c9;p=helm.git

added css and image for bugzilla
---

diff --git a/helm/www/matita/bugzilla.css b/helm/www/matita/bugzilla.css
new file mode 100644
index 000000000..781c603b1
--- /dev/null
+++ b/helm/www/matita/bugzilla.css
@@ -0,0 +1,11 @@
+div#page-index .intro
+{
+  width: 225px;
+  height: 225px;
+
+  margin-top: 2.3em;
+  margin-right: 2.3em;
+  float: right;
+
+  background: transparent no-repeat url(http://matita.cs.unibo.it/images/matita-bugs.png);
+}
diff --git a/helm/www/matita/images/matita-bugs.png b/helm/www/matita/images/matita-bugs.png
new file mode 100644
index 000000000..b91dfa986
Binary files /dev/null and b/helm/www/matita/images/matita-bugs.png differ