Opções mais granulares para tamanho da fonte (nas configurações do usuário)

Conforme mencionado em este tópico sobre o recente aumento do tamanho da fonte, descobri que prefiro o tamanho de fonte base antigo de 15px ao novo de 16px (em particular por causa do tamanho dos títulos dos tópicos, que é 18,4px no meu desktop).
Infelizmente, as configurações atuais de fonte são relativamente grosseiras e só me permitem diminuir o tamanho base para 14px. Assim, meu pedido seria para permitir um controle mais granular do tamanho da fonte base. Eu não preciso necessariamente de tamanhos de pixel específicos (embora isso também possa ajudar) - um controle deslizante de pequeno a grande que efetivamente tenha passos de 1px seria igualmente bom.

5 curtidas