<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">/*****************************
 All rights reserved.
 GetFonts.net (c) 2011-2025
 *****************************/
@font-face {
    font-family: 'DejaVu Sans Mono Bold Oblique';
    font-style: oblique;
    font-weight: 700;
    src: local('DejaVu Sans Mono Bold Oblique'), local('DejaVuSansMono-Bold Oblique'),
        url(https://getfonts.net/cache/fonts/dejavu-sans-mono-bold-oblique_32128b93258bd1967bf51a45d831b6a2.woff) format('woff'),
        url(https://getfonts.net/cache/fonts/dejavu-sans-mono-bold-oblique_32128b93258bd1967bf51a45d831b6a2.ttf) format('truetype');
}
</pre></body></html>