See discussion in T12744. The fixed width font being smaller than others seems fairly
arbitrary, and we have gotten some user complaints about it being too small. And the devs of our apps that use a lot of fixed-width fonts--Konsole and KTextEditor--are on board
with this change.