20gramsWrench, 9 months ago the font you had before you changed it may have already been hitting the minimum size of your gtk theme
the font you had before you changed it may have already been hitting the minimum size of your gtk theme