Change the default SQL box font to a slightly smaller size on GTK based platforms.