<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">@font-face {
    font-family: 'dejavuserif';
    src: url('dejavuserif.eot');
    src: url('dejavuserif.eot?iefix') format('eot'),
         url('dejavuserif.woff') format('woff'),
         url('dejavuserif.ttf') format('truetype'),
         url('dejavuserif.svg#webfontehNKDw5d') format('svg');
    font-weight:400;
    font-style:normal;
}</pre></body></html>