gtk2 font: revert to 8px