LINUX.ORG.RU
решено Форум — Desktop  

Firefox и userChrome.css

 ,


0

1

После обновления с FF-102esr до 115esr резко изменились размеры шрифтов интерфейса.

Нашел, что это можно подправить через userChrome.css и большую часть подправил.

Но осталось несколько мелких проблем:

размер Title (при наведении курсора на элемент с Title) и других диалогов (типа добавить закладку)

Как называются селекторы для этих элементов?

★★★★★

Последнее исправление: vel (всего исправлений: 3)

Проиллюстрируй скриншотами, возможно проще будет понять, что подсказать. Имхо.

После обновления с FF-102esr до 115esr резко изменились размеры шрифтов интерфейса.

Вдруг все стали большими или наоборот маленькими?

krasnh ★★★
()
Ответ на: комментарий от i-rinat

layout.css.devPixelsPerPx изменяет все размеры!

А у меня почему-то непропорционально изменились размеры шрифтов интерфейса :(

С размером шрифтов в контенте проблемы нет.

FF запускается в Xorg/XFCE на 4к дисплее.

Полное ощущение, что в новом FF как-то изменилось вычисление dpi

Размер шрифта интерфейса зависит от настроек темы XFCE.

vel ★★★★★
() автор топика
Последнее исправление: vel (всего исправлений: 1)
Ответ на: комментарий от mrjaggers

Поэтому проще обновляться регулярно))

ESR скачет по версиям, хоть каждый день обновляйся все равно наступит момент когда сама лиса шагнет на следующую версию и там будут сюрпризы(

У меня тоже 115 крупнит, запускаю с GDK_DPI_SCALE=0.75

Так вроде привычно выглядит, чсх особо в стилях не ковырялся, практически везде дефолтные настройки.

frunobulax ★★
()
Desktop