]> matita.cs.unibo.it Git - helm.git/commitdiff
projects / helm.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: c3697ea)
font -1
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 20 Jan 2006 08:23:17 +0000 (08:23 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 20 Jan 2006 08:23:17 +0000 (08:23 +0000)
helm/matita_homepage/developers.html patch | blob | history

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>
Unnamed repository; edit this file 'description' to name the repository.