@font-face {
    font-family: 'DejaVu Sans Mono';
    src: url('DejaVuSansMono.ttf') format('truetype');
    font-weight: normal;
    font-style: normal;
    font-display: swap;
}

@media screen and (min-width: 76.25em) {
    .md-nav__title {
        display: none;
    }
}

code {
    font-family: 'DejaVu Sans Mono', 'Consolas', 'Menlo', 'Liberation Mono', 'Courier New', monospace !important;
    line-height: 1.3em;
}