int xdpi = Nvl(GtkStyleInt("gtk-xft-dpi"), 72 * 1024);
GtkStyleInt is returning 98280, which is about 33% percent larger than the default, which has the right proportions. I need to track down why it is larger, but it is somewhat harder because I never worked with Gtk theme engine and have no idea where to find setting and stuff.