@font-face {
    font-family: "Linux Libertine";
    font-style: normal;
    font-weight: normal;
    font-stretch: normal;
    src: url("fonts/LinLibertine_Rah.ttf");
}
@font-face {
    font-family: "Linux Libertine";
    font-style: italic;
    font-weight: normal;
    font-stretch: normal;
    src: url("fonts/LinLibertine_RIah.ttf");
}
@font-face {
    font-family: "Linux Libertine";
    font-style: normal;
    font-weight: bold;
    font-stretch: normal;
    src: url("fonts/LinLibertine_RBah.ttf");
}
@font-face {
    font-family: "Linux Libertine";
    font-style: italic;
    font-weight: bold;
    font-stretch: normal;
    src: url("fonts/LinLibertine_RBIah.ttf");
}

@font-face {
    font-family: "Linux Biolinum";
    font-style: normal;
    font-weight: normal;
    font-stretch: normal;
    src: url("fonts/LinBiolinum_Rah.ttf");
}
@font-face {
    font-family: "Linux Biolinum";
    font-style: italic;
    font-weight: normal;
    font-stretch: normal;
    src: url("fonts/LinBiolinum_RIah.ttf");
}
@font-face {
    font-family: "Linux Biolinum";
    font-style: normal;
    font-weight: bold;
    font-stretch: normal;
    src: url("fonts/LinBiolinum_RBah.ttf");
}
@font-face {
    font-family: "Linux Biolinum";
    font-style: italic;
    font-weight: bold;
    font-stretch: normal;
    src: url("fonts/LinBiolinum_RBah.ttf");
}

code {
    font-family: "JuliaMono", monospace !important;
    font-size: 0.8em;
}

body {
    font-family: "Linux Libertine", serif !important;
    font-size: 18px;
}

h1, h2, h3 {
    font-family: "Linux Biolinum", sans-serif !important;
}

h2 {
    font-weight: normal !important;
}

span[label] {
    display: none;
}

figcaption {
    font-family: "Linux Biolinum", sans-serif;
    font-size: 0.9em;
}

span.sans-serif {
    font-family: "Linux Biolinum", sans-serif;
}

.smallcaps {
    font-variant: small-caps;
}

span.lineno {
    display: inline-block;
    text-align: right;
    font-size: 80%;
    width: 1.5em;
    margin-right: 0.8em;
}

div.algorithmic-ln > p {
    margin: -2px 0;
}

span.algorithmic-comment {
    position: relative;
    left: 30px;
    color: var(--sidebar-non-existant);
}

div[id^="tbl:"] > p {
    font-family: "Linux Biolinum", sans-serif;
    font-size: 0.9em;
}

div.epigraph {
    font-size: 0.8em;

    float: right;
    inline-size: 60%;
}