Bug#457169: patch for qa.debian.org

[Lars Wirzenius <liw@iki.fi>]

On pe, 2007-12-21 at 16:50 +0100, Yves-Alexis Perez wrote:
> Package: qa.debian.org
> Followup-For: Bug #457169
> 
> The simple patch attached fixes the problem on high dpi displays and looks
> good on a 96 dpi one. I guess removing all fonts: ##pt (and maybe replace them
> with a px one) would help but I don't know enough css/designing.

Both pt and px are, essentially, absolute sizes, and as such
inappropriate for some (possibly most) people. Not specifying the base
font size at all, and making all other font sizes relative to the base
font size ("font-size: 120%" for example) should work fine for most
people.

Thanks for the patch. I meant to look at how big changes were needed and
submit a similar patch, and you saved me the effort! Now let's hope it
gets accepted. :)