monospace font for html

[Josef Urban-2]

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

[Adam Naumowicz]

Hi,

On Mon, 21 Sep 2009, Josef Urban wrote:

> 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).

I second the suggestion, because that'a what we actually do when we
present snippets of Mizar code in publications, presentations etc.

Best,
Adam Naumowicz

=======================================================================
Dept. of Programming and Formal Methods  Fax: [phone]
Institute of Informatics                 Tel: [phone] (office)
University of Bialystok                  E-mail: adamn@...
Sosnowa 64, 15-887 Bialystok, Poland     http://math.uwb.edu.pl/~adamn/
=======================================================================