X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambda_delta%2Findex.html;h=9c266a31e557610c2b8456add221d077d31ac30e;hb=afd3d6608f2248b35812c0e826791ba09c873dc2;hp=649743baf67d0d4891dff2512c3cca08abd40a7f;hpb=cc57e6f6528ccc871a4d52d2ce4859c4a76fc0ca;p=helm.git

diff --git a/helm/www/lambda_delta/index.html b/helm/www/lambda_delta/index.html
index 649743baf..9c266a31e 100644
--- a/helm/www/lambda_delta/index.html
+++ b/helm/www/lambda_delta/index.html
@@ -80,10 +80,10 @@ user <img style="width: 37px; height: 37px;" alt="[Butterfly]"
  title="Butterfly" src="download/b3.png"></h3>
 To view this site
 correctly, please select a font with <a href="http://www.unicode.org/">Unicode</a>
-support.<br>
+support.
 For example <span style="font-weight: bold;">Lucida Sans Unicode</span>
-(it should be already installed on your system).<br>
-To change the current font follow: <br>
+(it should be already installed on your system).
+To change the current font follow:
       <span style="font-weight: bold;">"Tools" menu → "Internet
 Options" entry → "General" tab → "Fonts" button.</span><br>
       </td>