@import "/pygments-light.css" (prefers-color-scheme: light);
@import "/pygments-dark.css" (prefers-color-scheme: dark);
:root {
    --overlay-bg: #8881;
    --overlay-border: #8884;
}

/* Default font and layout */
html {
    box-sizing: border-box;
    font-size: clamp(100%, 2vw, 150%);
    margin: auto;
    max-width: 36rem;
}

body { margin: 0 1rem }

/* Text geometry */
p, details {
    hyphens: auto;
    text-align: justify;
}

/* Headings */
h2 a, h3 a, h4 a, h5 a, h6 a { color: CanvasText }

.toc ol ol {
    list-style-type: lower-alpha;
}

/* General formatting */
li p { margin: 0 }
a { text-decoration: none }
p a:hover { text-decoration: underline }

sup.footnote-ref > a::before { content: '[' }
sup.footnote-ref > a::after { content: ']' }
section.footnotes {
    font-size: 80%;
    border: none;
    margin: 1ex 0;
}
section.footnotes > ol {
    counter-reset: list;
    list-style-position: inside;
    padding-left: 0;
}
section.footnotes > ol > li { counter-increment: list }
section.footnotes > ol > li::marker {
    content: "[" counter(list, digit) "]\a0";
}

/* Images */
figure {
    margin: 0;
    text-align: center;
}
img {
    display: block;
    margin: auto;
    max-width: 100%;
}

/* Boxes */
blockquote, .note {
    margin: 1ex -1rem;
    padding-bottom: 1ex;
    padding-left: 0.75rem;
    padding-right: 1rem;
    padding-top: 1ex;
}
blockquote p, .note p { margin: 1ex 0 }
.note p:first-child { font-weight: bold }
blockquote {
    background: var(--overlay-bg);
    border-left: 0.25rem solid var(--overlay-border);
}
.note {
    background-color: #2482;
    border-left: 0.25rem solid #2484;
}

/* Header */
header {
    margin: 1.5rem -0.5rem;
    display: flex;
    flex-wrap: wrap;
    justify-content: space-between;
    align-items: center;
}

header a {
    border-bottom: solid;
    font-weight: bold;
    margin: 0 0.5rem;
    text-decoration: none;
}

nav, nav li { display: inline-block }
nav ul { margin: 0 }

footer, .tags, .right {
    color: GrayText;
    font-size: 80%;
}

footer {
    margin-top: 1.5rem;
    margin-bottom: 2rem;
}

footer a, .tags a {
    color: GrayText;
    text-decoration: underline;
}

.nowrap { display: inline-block }
.tags { float: left }
.right {
    float: right;
    margin-left: auto;
}

/* Table */
table {
    border-bottom: 0.15em solid;
    border-collapse: collapse;
    border-top: 0.15em solid;
    line-height: 1em;
    margin-bottom: 1.5em;
    margin-left: auto;
    margin-right: auto;
    text-align: center;
}

tr:first-of-type > th { border-bottom: 0.08em solid }
tr, th, td { padding: 0.5em }

/* highlight.js */
code, .highlight { background-color: var(--overlay-bg) }
.highlight {
    display: block;
    padding: 0 1ch;
    margin: 0 -1ch;
    overflow-x: auto;
}
.highlight > pre { margin: 1ex 0 }
pre p { margin: 0 }

.comment {
    background-color: var(--overlay-bg);
    clear: both;
    margin: 1ex 0;
    overflow: hidden;
    padding: 0 1rem;
}

.fead {
    display: flex;
    flex-wrap: wrap;
    margin: -0.5rem;
    margin-bottom: 0;
}
.fead h3 { margin: 0 0 1ex }
.fead article {
    background: var(--overlay-bg);
    display: flex;
    flex-direction: column;
    flex: 1 1 0;
    margin: 1ex;
    min-width: 12rem;
    padding: 1ex;
}