/* @import url('https://fonts.googleapis.com/css2?family=Inconsolata:wght@400;700&family=Libertinus+Sans:wght@400;700&family=Libertinus+Serif:wght@400;700&display=swap'); */

@font-face {
    font-family: 'Libertinus Serif';
    src: url('fonts/LibertinusSerif-Regular.woff2') format('woff2');
    font-weight: 400;
    font-style: normal;
}

@font-face {
    font-family: 'Libertinus Serif';
    src: url('fonts/LibertinusSerif-Italic.woff2') format('woff2');
    font-weight: 400;
    font-style: italic;
}

@font-face {
    font-family: 'Libertinus Sans';
    src: url('fonts/LibertinusSans-Regular.woff2') format('woff2');
    font-weight: 400;
    font-style: normal;
}

@font-face {
    font-family: 'Junicode Medium Italic';
    src: url('fonts/junicode-mediumitalic.woff2') format('woff2');
    font-weight: 400;
    font-style: normal;
}

.pkg-name {
    font-family: 'Junicode Medium Italic', serif !important;
    font-size: 4rem !important;
}

em, i {
    letter-spacing: -0.02em;
}

body {
    font-family: 'Libertinus Sans', sans-serif;
}

h1, h2, h3, h4, h5, h6 {
    font-family: 'Libertinus Serif', serif;
    font-weight: 400;
}

h1 { font-size: 2.65rem; }
h2 { font-size: 2.25rem; }
h3 { font-size: 1.9rem; font-style: italic}
h4 { font-size: 1.55rem; font-style: italic}
h5 { font-size: 1.25rem}
h6 { font-size: 1rem; font-style: italic}

code, pre, .sourceCode {
    font-family: 'Inconsolata', monospace;
}

mjx-container[display="true"] {
    font-size: 0.95em !important;
}

mjx-container:not([display="true"]) {
    font-size: 0.75em !important;
}