]> matita.cs.unibo.it Git - helm.git/blob - helm/www/matita/bugzilla.css
added depndency of new kernel to metadata to allow to use the DB to calculate the...
[helm.git] / helm / www / matita / bugzilla.css
1 div#page-index .intro
2 {
3   width: 225px;
4   height: 225px;
5
6   margin-top: 2.3em;
7   margin-right: 2.3em;
8   float: right;
9
10   background: transparent no-repeat url(http://matita.cs.unibo.it/images/matita-medium.png);
11 }