Firefox: substitua uma fonte por outra em qualquer página

Question

Estou usando o addon elegante e funciona muito bem. No entanto, gostaria de substituir uma fonte específica - por exemplo, Arial - por outra de minha escolha sempre que for encontrada em vez de definir uma fonte global (o que não gosto, pois quero substituir Arial ) ou usando uma regra elegante para cada página. É possível fazer isso? Talvez com um script de greasemonkey?

    

Answer 1

Você precisaria de greasemonkey, não apenas de estilo. O script teria que olhar para estilos computados para cada elemento, e explicar o fato de que Arial pode ser acessado por vários nomes.

Outro ângulo é reconfigurar o Arial para ser substituído por outra fonte. Isso é mais seguro e menos intensivo em recursos.

Supondo que você esteja no linux, coloque isso em ~/.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>

    

Answer 2

Eu sigo este e, em seguida, defino

@font-face {
        font-family: "Arial";
        src: local("Segoe UI Semibold")
}

em um addon Stylist.