我在用着时尚的插件效果很好。不过我想用我选择的其他字体替换特定字体(比如 Arial)每次发现而不是设置全局字体(我不喜欢,因为我只想用 Arial 替代)或对每个页面使用样式规则。可以这样做吗?也许用 greymonkey 脚本?
答案1
您需要的是 greyemonkey,而不仅仅是 styled。脚本必须查看每个元素的计算样式,并考虑到 Arial 可以通过多个名称访问。
另一个角度是重新配置 Arial 以将其替换为其他字体。这更万无一失,而且耗费的资源更少。
假设你使用的是 Linux,请将其输入~/.fonts.conf
:
<?xml version="1.0"?>
<!DOCTYPE fontconfig SYSTEM "fonts.dtd">
<fontconfig>
<match target="pattern"><!-- Replace Arial -->
<test qual="any" name="family"><string>Arial</string></test>
<edit name="family" mode="assign_replace"><string>A better font</string></edit>
</match>
</fontconfig>