Possibility of built-in font substitution

[Anonymous]

Fonts can be substituted by the @font-face rule in user CSS, but this is cumbersome for fonts with many variations. In Windows, it is possible to do so by editing the registry, but it is risky for system fonts. Is it possible to substitute fonts conveniently in Firefox?

For example, I had to write the following CSS to substitute Arial for Arial Nova.

@font-face { 
  font-family: "Arial"; 
  src: local("Arial Nova");
  font-weight: 400;
}
@font-face { 
  font-family: "Arial"; 
  src: local("Arial Nova Italic");
  font-style: italic;
}
@font-face { 
  font-family: "Arial"; 
  src: local("Arial Nova Bold");
  font-weight: 700 900;
}
@font-face { 
  font-family: "Arial"; 
  src: local("Arial Nova Bold Italic");
  font-weight: 700;
  font-style: italic;
}

[Jon]

Thanks for submitting an idea to the Mozilla Connect community! Your idea is now open to votes (aka kudos) and comments.

[Anonymous]

https://addons.mozilla.org/en-US/firefox/addon/web-font-changer

[Anonymous]

＠@Anonymous This extension is not what I want, it can only use Google Web Fonts and requires too much permissions for the functionality.