[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#457169: marked as done (qa.debian.org: fonts too large with high dpi display)

Your message dated Sat, 22 Dec 2007 17:34:51 +0100
with message-id <[🔎] 20071222163451.GA25008@takhisis.invalid>
and subject line Bug#457169: patch for qa.debian.org
has caused the attached Bug report to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what I am
talking about this indicates a serious mail system misconfiguration
somewhere.  Please contact me immediately.)

Debian bug tracking system administrator
(administrator, Debian Bugs database)
--- Begin Message --- 
Package: qa.debian.org
Severity: normal

Hi,

with the new css, fonts are quite large comparing to the old one, on high-DPI
display (mine is SXGA+ 1400×1050 on 14", so that's like 125DPI).

I've made a screenshot at http://molly.corsac.net/~corsac/pts.png.

Sure I can diminue the font size, but I have to redo that at each time, and
the previous css didn't show this behavior.

Besides that, I really like this new css :)

Thanks for the work,

--
Yves-Alexis Perez


-- System Information:
Debian Release: 4.0
  APT prefers stable
  APT policy: (500, 'stable')
Architecture: amd64 (x86_64)
Shell:  /bin/sh linked to /bin/bash
Kernel: Linux 2.6.18-5-amd64
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)

--- End Message ---
--- Begin Message --- 
On Sat, Dec 22, 2007 at 03:02:12PM +0200, Lars Wirzenius 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 to make all font sizes relative to the
> browser's default base font size (which is what the user can be expected
> to have chosen to suit their particular needs).

Way better. I've just applied a modified version of your patch. The
change basically consists in assuming that body has the default
font-size (i.e. 100%) and then recompute (with a bit of freedom ...) the
other sizes according to that.

This fixes the original DPI problem since now I'm no longer playing with
font points.

Cheers and thanks for the patch.

-- 
Stefano Zacchiroli -*- PhD in Computer Science ............... now what?
zack@{cs.unibo.it,debian.org,bononia.it} -%- http://www.bononia.it/zack/
(15:56:48)  Zack: e la demo dema ?    /\    All one has to do is hit the
(15:57:15)  Bac: no, la demo scema    \/    right keys at the right time

Attachment: signature.asc
Description: Digital signature


--- End Message ---
Reply to: