Como solução alternativa, alterar o tipo de fonte (família) e estilo em vez do tamanho da fonte pode melhorar a aparência: algumas fontes podem parecer melhores, já que são (e / ou parecem) menores ou mais finas que outras.
Por exemplo, DejaVu Sans Extralight
mostra assim: