Bug fixing + cosmetic changes

[helm.git] / matitaB / matita / html / matitaweb.css

diff --git a/matitaB/matita/html/matitaweb.css b/matitaB/matita/html/matitaweb.css
index 84774427f90a0d107ee71d8a5a56f4eddeca70d2..11fdb1717d7ed1400d1a19154c3f9a5044d7e39a 100644 (file)
--- 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;
 }