somniator Jul 27 2008 at 21:39

Замена шрифтов веб-страниц

2 min

Comments 17

UFO just landed and posted this here

somniator Jul 27 2008 at 22:09

1. Каким образом при помощи user css заменить один конкретный шрифт на другой?

2. user js корректно отработает только после полного построения DOM-дерева, что выглядит не очень хорошо. Например, для greasemonkey есть скрипт MakeItSans.

UFO just landed and posted this here

eudo Jul 27 2008 at 22:10

И что вы будете в них писать?

UFO just landed and posted this here

khayrov Jul 27 2008 at 22:23

Заменять шрифты на всех страницах подряд, да ещё таким жёстким методом, пожалуй, рискованно. На часто посещаемых сайтах я иногда меняю шрифтовую схему с помощью Stylish. С особой ненавистью вытравливаю Courier New, который любят навязывать как шрифт блоков кода на программистских сайтах.

UFO just landed and posted this here

khayrov Jul 27 2008 at 22:51

Ну, шрифты дело субъективное. Вам, возможно, и сглаживание не нравится :-) От сверхтонкого Courier New у меня страдают и без того нездоровые глаза. DejaVu Sans Mono и Consolas моё всё.

UFO just landed and posted this here

somniator Jul 27 2008 at 22:27

Оставте в user.filter только одну строку



s@(font-family\s*:|font\s*:\s*[a-z-]*\s*[a-z-]*\s*[a-z-]*\s*[.0-9]+[a-z%]*(?:/.[0-9]+[a-z%]*)?)\s*"?(Courier|Courier New)"?@$1 monospace /*Privoxy*/, $2@ig

и навсегда забудьте о Courier New :-)

khayrov Jul 27 2008 at 22:53

Локальный прокси для таких вещей мне кажется overkill :-) Где сильно мозолит глаза, уже избавился, а так перетерплю, благо моноширинные шрифты нечасто используют. В крайнем случае пара движений в Firebug.