*, *::before, *::after {
    box-sizing: border-box;
}

h1:first-child, h2:first-child, h3:first-child {
    margin-top: 0;
}

:root {
    --color-text: #333;
    --color-border-gray: #ccc;
    --color-bg-gray: #eee;
    --color-link: #25c;
    --color-link-hover: #69f;
    --color-link-active: #f63;
    --color-border-light: #ddd;
    --color-pub-block: #fec;
    --color-pub-border: #f8e6c6;
    --sidebar-bg: #282828;
    --sidebar-text: #e0e0e0;
    --sidebar-link: #8cf;
    --sidebar-link-hover: #adf;
    --sidebar-title: #fff;
}

body {
    margin: 0;
    font-family: sans-serif;
    color: var(--color-text);
}

figure {
    margin: 0;
}

.actionlink { text-decoration: underline; color: var(--color-link); }
.actionlink:hover { color: var(--color-link-hover); cursor: pointer; }
.actionlink:active { color: var(--color-link-active); }

a:link, a:visited { color: var(--color-link); }
a:hover { color: var(--color-link-hover); }
a:active { color: var(--color-link-active); }
a.nodec { text-decoration: none; color: inherit; }
a.nodec:hover { text-decoration: underline; }

a.zola-anchor {
    user-select: none;
    visibility: hidden;
    text-decoration: none;
    color: #000;
    margin: 0.2em;
    padding: 0.2em;
    font-size: 80%;
    vertical-align: center;
}
h1:hover a.zola-anchor,
h2:hover a.zola-anchor,
h3:hover a.zola-anchor,
h4:hover a.zola-anchor,
h5:hover a.zola-anchor,
h6:hover a.zola-anchor
{
    visibility: visible;
    opacity: 40%;
}
a.zola-anchor:hover {
    visibility: visible;
    opacity: 100% !important;
    background: #5553;
}

li {
    margin: 0.2em 0;
}
ol ol {
    list-style: lower-alpha;
}
ol ol ol {
    list-style: lower-roman;
}

h1, h2, h3 {
    font-family: Georgia, serif;
    font-weight: normal;
    margin-bottom: 0.5em;
}

h1 {
    font-family: "Palatino Linotype", Palatino, Georgia, serif;
    font-size: 2.2em;
}

h2 {
    font-size: 1.8em;
    margin-left: -0.8em;
}
h3 {
    font-size: 1.4em;
    margin-left: -0.4em;
}

h2:target, h3:target, h4:target {
    border-radius: 0.5em;
    background: #ff88;
    box-shadow: 0 0 0.5em 0.2em #ff88;
}

table {
    margin: 0.5em 1em;
    background: #f3f3f3;
    border-top: 3px solid var(--color-border-gray);
    border-bottom: 3px solid var(--color-border-gray);
    border-collapse: collapse;
}
th {
    border-top: 1px solid var(--color-border-gray);
    border-bottom: 1px solid var(--color-border-gray);
}
td, th {
    padding: 0 0.5em;
}

blockquote {
    margin: 1em 3em;
    padding: 0 0.5em;
    background: var(--color-bg-gray);
    border-left: 5px solid var(--color-border-gray);
    border-radius: 0 12px 12px 0;
}
blockquote.markdown-alert-note {
    padding: 0.5em 1em;
    background-color: #aef;
    border-radius: 12px;
    border: none;
    box-shadow: 0.1em 0.2em 0.5em 0 #0005;
}
blockquote > :first-child {
    margin-top: 0;
}
blockquote > :last-child {
    margin-bottom: 0;
}
@media (max-width: 600px) {
    blockquote {
        margin: 0.5em 1em;
    }
}

aside, .aside {
    float: right;
    max-width: min-content;
    padding: 0.8em;
    margin-left: 1em;
    background: var(--color-bg-gray);
    border: 3px solid var(--color-border-light);
}
.small_aside {
    float: right;
    font-size: 0.85em;
    max-width: 200px;
    padding: 0.5em;
    margin: 1em 2em;
    background: var(--color-bg-gray);
    border: 3px solid var(--color-border-light);
}
figcaption, .caption {
    margin-top: 0.5em;
    font-size: 90%;
}
footer, .returnlink, .footer {
    font-size: 0.8em;
    margin: 2em 0 0 -0.5em;
    border-top: 1px solid var(--color-border-gray);
}

/* --- Two-column layout --- */

body {
    display: flex;
    min-height: 100vh;
}

#Header {
    flex: 1;
    position: sticky;
    top: 0;
    height: 100vh;
    overflow-y: auto;
    background-color: var(--sidebar-bg);
    color: var(--sidebar-text);
    padding: 1.5em;
    overflow: hidden;
}

#Header {
    --wave-position: 50px;
    --wave-height: 180px;
    --wave-height2: 210px;
    --wave-height3: 120px;
    --wave-color: #182818;
    --wave-color2: #333;
    --wave-color3: #010;
    --grad-a: 20% 57% ellipse at -5% 50%;
    --grad-b: 20% 57% ellipse at 105% 50%;

    background-image: 
        radial-gradient(var(--grad-a), var(--wave-color) 0% 50%, transparent 50%),
        radial-gradient(var(--grad-b), transparent 0% 50%, var(--wave-color) 50%),
        radial-gradient(var(--grad-a), var(--wave-color2) 0% 50%, transparent 50%),
        radial-gradient(var(--grad-b), transparent 0% 50%, var(--wave-color2) 50%),
        radial-gradient(var(--grad-a), var(--wave-color3) 0% 50%, transparent 50%),
        radial-gradient(var(--grad-b), transparent 0% 50%, var(--wave-color3) 50%),
        linear-gradient(to bottom, var(--sidebar-bg) 0%, #000 300%);

    background-size:
        var(--wave-height) var(--wave-height),
        var(--wave-height) var(--wave-height),
        var(--wave-height2) var(--wave-height2),
        var(--wave-height2) var(--wave-height2),
        var(--wave-height3) var(--wave-height3),
        var(--wave-height3) var(--wave-height3),
        100% 100%;

    background-repeat: repeat-y;
    animation: moveWaves 30s linear infinite;
}

/* scrolling animation */
@keyframes moveWaves {
    from {
        background-position: 
        calc(var(--wave-position) + 0*var(--wave-height)) 0,
        calc(var(--wave-position) - 1*var(--wave-height)) calc(0.5 * var(--wave-height)),
        calc(var(--wave-position)*1.25 + 0*var(--wave-height2)) 0,
        calc(var(--wave-position)*1.25 - 1*var(--wave-height2)) calc(0.5 * var(--wave-height2)),
        calc(var(--wave-position)*1.4 + 0*var(--wave-height3)) 0,
        calc(var(--wave-position)*1.4 - 1*var(--wave-height3)) calc(0.5 * var(--wave-height3)),
        0 0;
    }
    to {
        background-position: 
        calc(var(--wave-position) + 0*var(--wave-height)) calc(-1 * var(--wave-height)), 
        calc(var(--wave-position) - 1*var(--wave-height)) calc(-0.5 * var(--wave-height)), 
        calc(var(--wave-position)*1.25 + 0*var(--wave-height2)) calc(-2 * var(--wave-height2)), 
        calc(var(--wave-position)*1.25 - 1*var(--wave-height2)) calc(-1.5 * var(--wave-height2)), 
        calc(var(--wave-position)*1.4 + 0*var(--wave-height3)) calc(1 * var(--wave-height3)), 
        calc(var(--wave-position)*1.4 - 1*var(--wave-height3)) calc(1.5 * var(--wave-height3)), 
        0 0;
    }
}

/* blur the background behind the sidebar contents */
#Header .content::after {
    content: "";
    display: block;
    position: absolute;
    width: calc(100% + 30px);
    height: calc(100% + 30px);
    left: -15px;
    top: -15px;
    z-index: -1;
    border-radius: 15px;
    backdrop-filter: blur(3px);
}

#Header .content {
    position: relative; /* needed for position: absolute of ::after block */
    z-index: 1;
    width: fit-content;
    min-width: 10em;
    max-width: 18em;
    margin-left: auto;
    font-size: 120%;

    ul {
        list-style-type: circle;
        padding-left: 1em;
        margin: 0;
        line-height: 1;
        li {
            margin-bottom: 0.3em;
        }
    }
}

#Title h1 {
    font-size: 200%;
    margin: 0;
    color: var(--sidebar-title);
}
#Title h1 a {
    color: var(--sidebar-title);
}
#Title h1 a:hover {
    color: var(--sidebar-link-hover);
}
#Title .email {
    color: var(--sidebar-text);
    font-family: monospace;
    font-size: 120%;
}

#Menu a {
    color: var(--sidebar-link);
}
#Menu a:hover {
    color: var(--sidebar-link-hover);
}
#Menu a.amHere {
    color: var(--sidebar-title);
    font-weight: bold;
}

#Main {
    flex: 3;
    background-color: #fff;
    padding: 1.5em 3em;
}

#Main .content {
    max-width: 50em;
}

/* --- Publication styles --- */

.pub_block {
    background-color: var(--color-pub-block);
    padding: 0;
    margin: 0.5em 0;
    border: 3px solid var(--color-pub-border);
    border-radius: 12px 0 0 12px;
}
.pub_block_head {
    background-color: #ec7;
    padding: 0.3em 0.5em;
    margin: 0;
    border-radius: 10px 0 0 0;
}
.publication {
    padding: 0.5em 0.5em 0.5em 1.5em;
    text-indent: -1em;
}
.publication:not(:first-child) {
    border-top: 3px solid var(--color-pub-border);
}
.publication_small {
    font-size: 90%;
}
.publication .extra_details {
    font-size: 90%;
    color: #57b;
}

/* --- Shared layout: mobile + print --- */
@media (max-width: 1024px), print {
    body {
        flex-direction: column;
    }

    #Header {
        flex: 0;
        font-size: 90%;
        position: static;
    }
    #Header .content {
        width: 100%;
        min-width: unset;
        max-width: unset;
        margin: auto;
    }
    #Header .content ul {
        display: flex;
        gap: 0 1.5em;
        flex-wrap: wrap;
        ul {
            display: contents;
        }
    }
    #Header hr {
        display: none;
    }

    #Title {
        h1 {
            display: inline-block;
            margin-right: 0.8em;
        }
    }

    #Menu .listhead {
        display: none;
    }

    #Header, #Main {
        padding: 1em;
    }

    h2, h3 {
        margin-left: 0;
    }
}

/* --- Mobile-only adjustments --- */

@media (max-width: 500px) {
    aside, .aside, .small_aside {
        float: none;
        padding: 0.5em;
        margin: 0.5em auto;
    }
}

/* --- Print-only adjustments --- */

@media print {
    :root {
        --sidebar-bg: #fff;
        --sidebar-text: var(--color-text);
        --sidebar-title: var(--color-text);
        --sidebar-link: var(--color-link);
    }

    #Header {
        border-bottom: 2px solid #888;
        background: #fff;
    }
    #Header .content {
        font-size: 100%;
    }

    #Bottom, .returnlink {
        display: none;
    }

    a[href^="http://"]:after,
    a[href^="https://"]:after {
        content: " [" attr(href) "]";
    }
}