monospace font for html

Josef Urban <[email protected]>
Newsgroups gmane.comp.mathematics.mizar
Message-ID <[email protected]> 
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
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.