K 10
svn:author
V 3
hrs
K 8
svn:date
V 27
2009-05-04T19:16:07.000000Z
K 7
svn:log
V 146
Use <tt> instead of style="font-family: monospace" because it can
result in a very small font size.  Cosmetic change only.

Reported by:	blackend

END