@ font-face src: local - Як використовувати локальний шрифт, якщо його у користувача вже є?

Який правильний спосіб використовувати, @font-faceщоб браузер не завантажував шрифт, якщо його у користувача вже є?

Я використовую @ font-face для визначення DejaVu, який вже встановлений у моїй системі (linux). Firefox не завантажує шрифт, але Chromium завантажує його кожного разу!

Мій CSS-код, заснований на шрифтовій білці і це запитання виглядає так:

@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;
}

Якщо ви хочете спершу перевірити наявність локальних файлів:

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

Існує більш детальний опис того, що тут робити .

Я насправді нічого не робив font-face, тому сприйміть це з щіпкою солі, але я не думаю, що існує будь-який спосіб для браузера остаточно визначити, встановлений певний веб-шрифт на машині користувача чи ні.

Наприклад, користувач може встановити на своєму комп'ютері інший шрифт з однаковим іменем. Єдиним способом остаточно визначити буде порівняння файлів шрифтів, щоб перевірити, чи вони ідентичні. І браузер не міг цього зробити, не завантаживши спочатку веб-шрифт.

Чи завантажує Firefox шрифт, коли ви насправді використовуєте його в fontдекларації? (наприклад h1 { font: 'DejaVu Serif';)?