]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambda_delta/index.html
update in basic_2
[helm.git] / helm / www / lambda_delta / index.html
index 649743baf67d0d4891dff2512c3cca08abd40a7f..9c266a31e557610c2b8456add221d077d31ac30e 100644 (file)
@@ -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>