@ font-face src: local – ¿Cómo usar la fuente local si el usuario ya la tiene?

¿Cuál es la forma correcta de usar @font-face para que el navegador no descargue la fuente si el usuario ya la tiene?

Estoy usando @ font-face para definir DejaVu, que ya está instalado en mi sistema (Linux). Firefox no está descargando la fuente, ¡pero Chromium la está descargando todo el tiempo!

Mi código CSS, basado en la ardilla de la fuente y esa pregunta se ve así:

 @font-face { font-family: 'DejaVu Serif'; src: url('DejaVuSerif-webfont.eot'); src: local('DejaVu Serif'), url('DejaVuSerif-webfont.woff') format('woff'), url('DejaVuSerif-webfont.ttf') format('truetype'), url('DejaVuSerif-webfont.svg#webfontCFu7RF0I') format('svg'); font-weight: normal; font-style: normal; } /* ... @font-face definitions for italic and bold omitted ... */ @font-face { font-family: 'DejaVu Serif'; src: url('DejaVuSerif-BoldItalic-webfont.eot'); src: local('DejaVu Serif Bold Italic'), url('DejaVuSerif-BoldItalic-webfont.woff') format('woff'), url('DejaVuSerif-BoldItalic-webfont.ttf') format('truetype'), url('DejaVuSerif-BoldItalic-webfont.svg#webfontQAewh7pf') format('svg'); font-weight: bold; font-style: italic; } 

Si quiere verificar primero los archivos locales, haga lo siguiente:

 @font-face { font-family: 'Green Sans Web'; src: local('Green Web'), local('GreenWeb-Regular'), url('GraublauWeb.ttf'); } 

Hay una descripción más elaborada de qué hacer aquí .

En realidad, no he hecho nada con font-face , así que tómalo con un poco de sal, pero no creo que haya ninguna manera de que el navegador determine si una fuente web determinada está instalada en la máquina de un usuario o no.

El usuario podría, por ejemplo, tener una fuente diferente con el mismo nombre instalado en su máquina. La única manera de decirlo definitivamente sería comparar los archivos de fonts para ver si son idénticos. Y el navegador no podría hacer eso sin descargar primero su fuente web.

¿Firefox descarga la fuente cuando realmente la usas en una statement de font ? (por ejemplo, h1 { font: 'DejaVu Serif'; )?