Re: monospace font for html
Adam Naumowicz <[email protected]>
| Newsgroups | gmane.comp.mathematics.mizar |
|---|---|
| Message-ID | <Pine.GSO.4.61.0909220540010.21858@math> |
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: [email protected] Sosnowa 64, 15-887 Bialystok, Poland http://math.uwb.edu.pl/~adamn/ =======================================================================