Created a new directory for Matita1.0

[helm.git] / helm / www / matita1.0 / bugzilla.css

diff --git a/helm/www/matita1.0/bugzilla.css b/helm/www/matita1.0/bugzilla.css
new file mode 100644 (file)
index 0000000..5638fb0
--- /dev/null
+++ b/helm/www/matita1.0/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-medium.png);
+}