LINUX.ORG.RU
Форум — Desktop  

Firefox - ищется расширение для смены шрифта на странице


0

1

Сабж

Нужно для конкретной страницы поменять шрифт.

(Для чего: есть учебный сайт с жутко выглядящими текстами, которые невозможно нормально скроллить. Я хочу распечатать его в PDF, чтобы можно было читать нормальной читалкой. Но для этого нужно вначале изменить шрифт на приличный, потому что в Adobe Acrobat такой функции, глобальной замены шрифта, не предусмотрено.).

Пока что с помощью расширения Document Font Toggle запрещаю сайту собственные шрифты, а потом с помощью китайского расширения Font Setter меняю глобально шрифт для всего Firefox. После этого можно печатать, и после печати вручную возвращать всё назад. Но это очень неудобно.

★★★★☆

Последнее исправление: stevejobs (всего исправлений: 2)
← Как root может узнать имя пользователя X сессии
Что такое этот ваш гламур? Объясните популярно. → 

<match target="pattern">
    <test name="family"><string>FreeSans</string></test>
    <edit name="family" mode="assign" binding="same"><string>Liberation Sans</string></edit>
</match>
lampslave ★★
()

Открой Inspector, поменяй всё, распечатай.

d2 ★
()

в настройках фаерфокса запрети страницам использовать свои шревты. Половина говностраниц, правда, обрастёт мусором и клинописью, но зато ненадо будет искать костылей, будет меньше тормозов и уязвимости в обработке специальных троянских шрифтов тебя минуют.

anonymous
()

В стайлише

html, body {
font-family: Droid !important;
}
nowaysystem
()

@font-face { font-family: 'Helvetica'; src: local('Dejavu Serif'); }

если надо избирательные уродливые шрифты заменить

DonPedro123 ★
()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.
← Как root может узнать имя пользователя X сессии
Desktop
Что такое этот ваш гламур? Объясните популярно. →