font -1

[helm.git] / helm / matita_homepage / developers.html
diff --git a/helm/matita_homepage/developers.html b/helm/matita_homepage/developers.html

index 10c0ad21270bcb9276e49de2e0eecdef675413ad..aad8963ee96eec1b00599cc59fad0faa0ed841b3 100644 (file)
--- a/helm/matita_homepage/developers.html
+++ b/helm/matita_homepage/developers.html
@@ -10,7 +10,7 @@
  
    <body>
      
-    <font size="-2" face="Arial, Helvetica, sans-serif">
+    <font size="-1" face="Arial, Helvetica, sans-serif">
      <h2>Current team members</h2>
      <ul>
        <li><a href="http://www.cs.unibo.it/~asperti">Andrea Asperti</a> Full Professor</li>