Re: [mizar] monospace font for html

[Adam Naumowicz <adamn@math.uwb.edu.pl>]

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: +48(85)7457662
Institute of Informatics                 Tel: +48(85)7457559 (office)
University of Bialystok                  E-mail: adamn@mizar.org
Sosnowa 64, 15-887 Bialystok, Poland     http://math.uwb.edu.pl/~adamn/
=======================================================================