added css and image for bugzilla

diff --git a/helm/www/matita/bugzilla.css b/helm/www/matita/bugzilla.css
new file mode 100644 (file)
index 0000000..781c603
--- /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 (file)
index 0000000..b91dfa9
Binary files /dev/null and b/helm/www/matita/images/matita-bugs.png differ