]> matita.cs.unibo.it Git - helm.git/commit
user smaller font in result page
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 16 Mar 2005 16:21:44 +0000 (16:21 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 16 Mar 2005 16:21:44 +0000 (16:21 +0000)
commit6dada2f080978d66e3acc24230eee10e22daabea
treeddb92c39751b0ca5037b93f215bee5d928c0cd15
parenta240236d1e9d5154e8cb5da73f8e98cf7734a73e
user smaller font in result page
helm/searchEngine/html/moogle_chat.html.src
helm/searchEngine/html/moogle_header.html.src