query-pr.css enhancements

[chinsan]

2007/6/3, Bjoern A. Zeeb <bzeeb-lists at lists.zabbadoz.net>:
> Hi,
>
> I wondered why the patches inside PRs are not printed with a monospace
> font and checked the style sheet. The following wasn't tested but:
>
> a) W3 suggestes to quote Font name with spaces like "Times New Roman"
> b) Who thought that a browser running on FreeBSD would know
>     "Courier New"? At least my firefox only lists Courier.
> c) Add the predefined generic font family 'monospace' so that a
>     browser would know what to possibly fall back to.
>
> I hope that this will give more people <pre>-style patches even with
> the other formating by <span>-tags.
>
> If you are ok with that (you will possibly do more testing than I did)
> you may also want to check other style sheets for similar changes.

Committed a few days ago.
Thanks. :)

-chinsan