Я использую Kubuntu 20.04, но мой вопрос гораздо более общий: как решить проблемы с размером шрифта? Очевидно, что в первую очередь нужно перейти к «Системным настройкам», но даже там, как узнать, следует ли изменить размер шрифта, принудительно установить значение dpi или и то, и другое? Или вместо этого искать в другом месте? А если надо форсировать dpi шрифта, как найти нужное значение?
Но Системные настройки — это только начало. Есть также настройки браузера, с которыми нужно иметь дело, и они могут зависеть от выбора браузера или даже версии браузера. Помимо этого, есть элементы управления шрифтами для конкретных приложений, с которыми нужно бороться, поскольку некоторые приложения могут выбирать свои собственные шрифты, выбор, который может быть или не быть переопределен.
Еще одна проблема — это шрифт, используемый для заголовков окон. Этот шрифт может быть и обычно отличается
от шрифта, используемого для содержимого окна. И, конечно, все эти вопросы могут пересекаться.
Я не ожидаю найти простой ответ на этот вопрос. Но считайте, что этот вопрос является призывом к некоторым активным пользователям сети создать руководство по этому вопросу.