Granularere Optionen für Schriftgröße (in den Benutzereinstellungen)

Wie in diesem Thread über die kürzliche Erhöhung der Schriftgröße erwähnt, habe ich festgestellt, dass ich die alte Basisschriftgröße von 15 Pixel der neuen von 16 Pixel vorziehe (insbesondere wegen der Größe der Thread-Titel, die auf meinem Desktop 18,4 Pixel beträgt).
Leider sind die aktuellen Schriftarteinstellungen relativ grob und erlauben mir nur, die Basisschriftgröße auf 14 Pixel zu reduzieren. Daher wäre mein Wunsch, eine granularere Steuerung der Basisschriftgröße zu ermöglichen. Ich brauche nicht unbedingt spezifische Pixelgrößen (obwohl das auch helfen könnte) – ein Schieberegler von klein nach groß, der effektiv 1-Pixel-Schritte hat, wäre ebenso in Ordnung.

5 „Gefällt mir“