Более детальные настройки размера шрифта (в настройках пользователя)

Как упоминалось в этой теме о недавнем увеличении размера шрифта, я обнаружил, что предпочитаю старый базовый размер шрифта 15 пикселей новому — 16 пикселей (особенно из-за размера заголовков тем, который на моём компьютере составляет 18,4 пикселя).
К сожалению, текущие настройки шрифта довольно грубые и позволяют уменьшить базовый размер только до 14 пикселей. Поэтому я прошу предоставить более точный контроль над базовым размером шрифта. Мне не обязательно нужны конкретные значения в пикселях (хотя это тоже могло бы помочь) — ползунок от маленького до большого размера с шагом в 1 пиксель тоже вполне подойдёт.

5 лайков