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 -- Default font size too large if using native DPI https://bugs.launchpad.net/bugs/310353 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs