]> matita.cs.unibo.it Git - helm.git/blob - helm/www/matita1.0/bugzilla.css
- natural numbers with infinity for lambdadelta
[helm.git] / helm / www / matita1.0 / 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 }