/* selfhost */

/* body text */
@font-face {
    font-family: 'STIXTwoText';
    src: url('./?mortyurl=https%3A%2F%2Fhaltingproblems.github.io%2Ffonts%2FSTIXTwoText%5Bwght%5D.woff2') format('woff2-variations');
    font-weight: 400 700;
    font-stretch: 75% 125%;
    font-style: normal;
}

@font-face {
    font-family: 'STIXTwoText';
    src: url('./?mortyurl=https%3A%2F%2Fhaltingproblems.github.io%2Ffonts%2FSTIXTwoText-Italic%5Bwght%5D.woff2') format('woff2-variations');
    font-weight: 400 700;
    font-stretch: 75% 125%;
    font-style: italic;
}

/* code */
@font-face {
    font-family: 'DejaVuSansMono';
    src: url('./?mortyurl=https%3A%2F%2Fhaltingproblems.github.io%2Ffonts%2FDejaVuSansMono.woff2') format('woff2');
    font-weight: 400;
    font-stretch: 50% 125%;
    font-style: normal;
}

@font-face {
    font-family: 'DejaVuSansMono';
    src: url('./?mortyurl=https%3A%2F%2Fhaltingproblems.github.io%2Ffonts%2FDejaVuSansMono-Bold.woff2') format('woff2');
    font-weight: 700;
    font-stretch: 50% 125%;
    font-style: bold;
}


@font-face {
    font-family: 'DejaVuSansMono';
    src: url('./?mortyurl=https%3A%2F%2Fhaltingproblems.github.io%2Ffonts%2FDejaVuSansMono-Oblique.woff2') format('woff2');
    font-weight: 700;
    font-stretch: 50% 125%;
    font-style: italic;
}