X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fstyle.css;h=64cc6d8b494b7f439b837f745f892101db7cb2ee;hb=c9ec21a836caca04ca23da5489598d5fca6d6b96;hp=a5898e43f3aafbeef1e299ac6c206eb724db3dd3;hpb=9e5aca768e23c9e0b555d3010c924264a1b920d0;p=helm.git

diff --git a/helm/www/matita/style.css b/helm/www/matita/style.css
index a5898e43f..64cc6d8b4 100644
--- a/helm/www/matita/style.css
+++ b/helm/www/matita/style.css
@@ -7,6 +7,10 @@ body {
   margin-right: 7%;
 }
 
+samp.tiny {
+  font-size: 8pt;
+}
+
 span.h1 {
   font-family: sans-serif;
   font-size: 16pt;