Сегодня на всех Linux-машинах (zigzag, tornado, breeze, все терминалы) была исправлена давняя ошибка конфигурации.
Исторически сложилось, что у нас везде X сервера запускались с параметром "-dpi 75". Для софта пятилетней давности это было правильно - тогда это значение реально использовалось только X сервером, и по факту именно с таким значением размер отображаемых шрифтов был приемлимым.
Однако, сейчас всё больше софта (в т.ч. KDE, mozilla, OpenOffice.org) явно работают со значением dpi. Цель - обеспечить одинаковый физический размер отображаемого шрифта вне зависимости от физической геометрии монитора и используемого графического разрешения. Из-за нашей фиксированной установки dpi=75 (которая фактически занижена) это приводило к мелким шрифтам. Особенно хорошо это было видно на mozilla (без того самого хака с userChrome).
Теперь установка dpi=75 удалена. Вместо неё в конфигурацию X серверов на всех машинах была вписана физическая геометрия мониторови (для мониторов 17'' это 320x240 мм). Значение dpi вычисляется автоматически исходя из установленного графического разрешения.
Это значит, что:
(а) теперь мы будем получать одинаковый физический размер шрифтов на всех машинах и при всех графических разрешениях,
(б) мелких шрифтов по умолчанию больше не будет.
Однако, ЛОКАЛЬНЫЕ НАСТРОЙКИ БОЛЬШИНСТВА ПОЛЬЗОВАТЕЛЕЙ СОЗДАВАЛИСЬ ПРИ НЕВЕРНО УСТАНОВЛЕННОМ dpi. Эти настройки неверны, и их придётся изменить. Так, размер шрифтов в KDE следует установить в интервале 10-12, а файл userChrome.css в каталогах mozilla следует удалить.