Bug#457169: patch for qa.debian.org

2007-12-22 Thread Stefano Zacchiroli
On Fri, Dec 21, 2007 at 04:50:31PM +0100, Yves-Alexis Perez wrote: 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. No,

Bug#457169: patch for qa.debian.org

2007-12-22 Thread Lars Wirzenius
On la, 2007-12-22 at 12:48 +0100, Stefano Zacchiroli wrote: A patch for this bug would be changing the font sizes so that they use relative units instead of absolute ones (as you suggest in the end of your last message) preserving the current look and feel. Attached is a patch that attempts

Bug#457169: patch for qa.debian.org

2007-12-21 Thread Yves-Alexis Perez
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. Cheers, -- Yves-Alexis

Bug#457169: patch for qa.debian.org

2007-12-21 Thread Lars Wirzenius
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