For some reason my DPI was set as 96 in Gnome Appearance settings, which is totally wrong. After changing it to the correct 128 DPI (which I measured and which I get from "xdpyinfo | grep resolution", the fonts at "10" are way too big. I set them all to "8", and it seems to be about right for a laptop.
For some reason my DPI was set as 96 in Gnome Appearance settings, which is totally wrong. After changing it to the correct 128 DPI (which I measured and which I get from "xdpyinfo | grep resolution", the fonts at "10" are way too big. I set them all to "8", and it seems to be about right for a laptop.
Note that "10" is arbitrary and doesn't mean "10px" or "10pt" or anything meaningful like that. http:// www.gnome. org/~federico/ news-2007- 01.html# font-sizes