[Date Prev][Date Next]
[Chronological]
[Thread]
[Top]
[mizar] monospace font for html
- To: mizar-forum@mizar.uwb.edu.pl
- Subject: [mizar] monospace font for html
- From: Josef Urban <josef.urban@gmail.com>
- Date: Mon, 21 Sep 2009 16:37:08 +0200
- Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:date:message-id:subject:from:to:content-type; b=n4wd6EBVTrfm58qT7UUTO5Lu4phvRkdJCyFIrmk3uAzzpPtWLr6rW6p2DH0nzzBWo1 f5f22PTCB2nx6EvK8Bx8RqDYMTk+Gt8PjQlkCu+1NpbInfsdhDiJ3XNNF9w1uREsXwby 1cpYcYYU9IgZIDWP6IfNEJOsJblJzi8R9lqc0=
Hi,
Freek Wiedijk has suggested using a monospace font for the Mizar HTML (like this: http://hair-dryer.cs.ru.nl/~urban/a9.html). His argument is that Mizar is code, and code should be rendered like this. I also like it better than the current font (http://mizar.uwb.edu.pl/version/current/html/abcmiz_0.html).
So if there are no protests, I will make it the default for the next versions of the Mizar HTML.
Best,
Josef Urban