Thanks for your detailed explanations.
The most important point is that we are both using 120 DPI (the other differences in our settings seem minor in this case). At 120 DPI, our fonts look bigger by about 9% than on WSXGA+ at 96 DPI....
7/30/04 at 3:12pm