The solution is there, but it's not working. The CSS 'pt' size measure was supposed to address this exact issue, but in reality it doesn't. "Reality" being the most of Windows world that still runs at 96 DPI (dots-per-inch), regardless of whether one has 1080 scan lines on 12" display or 768 - on 20" one. What's twice as unfortunate is that Windows added mainstream support for higher DPIs starting with Vista. So, in theory, if I were to get a high-res laptop, it'd come with a manufacturer's .inf that sets my DPI to 120 if my display is physically small. In practice - na-da. I've seen this done only on selected ThinkPads, but that's it.