X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fmatita%2Fhtml%2Fmatitaweb.css;h=11fdb1717d7ed1400d1a19154c3f9a5044d7e39a;hb=92fc70ae76ae4376b7976d1dff5c9b57d1b96056;hp=84774427f90a0d107ee71d8a5a56f4eddeca70d2;hpb=c0ac63fead67ea1902e3d923ce877a2779cf501e;p=helm.git diff --git a/matitaB/matita/html/matitaweb.css b/matitaB/matita/html/matitaweb.css index 84774427f..11fdb1717 100644 --- a/matitaB/matita/html/matitaweb.css +++ b/matitaB/matita/html/matitaweb.css @@ -148,6 +148,12 @@ div.matitaapparea { color:black; } +h2#matitaTitle { + display: inline; + padding: 6px; + vertical-align: top; +} + .smallmargin { margin:4px !important; }