:root {
    --width: 740px;
    --lighter: #fff;
    --light:   #fff;
    --mild:    #d8dee9;
    /* --dark:    #4c566a; */
    --darker:  #434c5e;
    --black:   #3b4252;
    --blacker: #2e3440;
    --yellow:  #f8c325;
    --red:     #ee4242;
    --pink:    #de59a8;

    --background: #eee;
    --text-strong: #434c5e;
    --text:       #4c566a;
    --dark:       #d8dee9;
    --darker:     #d8dee9;
}

@media (prefers-color-scheme: dark) {
    :root {
        --background: #3b4252;
        --dark:       #3b4252;
        --darker:     #2e3440;
        --text-strong: #fff;
        --text:        #d8dee9;
        --text-faded:  #9ea6b5;
    }
}


body {
    font: 16px "Inter UI", Inter, sans-serif;
    line-height: 1.54;
    margin: 0;
    min-height: 100vh;
    color: var(--text);
    background: var(--background);
    display: flex;
    flex-direction: column;
    hyphens: auto;
    font-weight: 400;
    counter-reset: section;
}

@media (prefers-color-scheme: dark) {
    body {font-weight: 300}
}

main span.draft {
    display: inline-block;
    text-transform: uppercase;
    background: var(--mild);
    font-size: .8rem;
    padding: .2em .5em;
    border-radius: 3px;
    font-weight: 300;
    vertical-align: middle;
}

h1, h2, h3 { color: var(--darkr) }

main > section { counter-reset: subsection }
main :first-child { margin-top: 0 }

main ::selection {
    background: var(--yellow);
    color: var(--black);
    font-weight: 400;
}

section.footnotes {
    margin-top: 3em;
}
a.footnote-ref sup::before { content: '[' }
a.footnote-ref sup::after  { content: ']' }

.post h2::before {
    counter-increment: section;
    padding: 0 .5em 0 0;
    content: counter(section);
    opacity: .3;
}

.post section h3::before {
    counter-increment: subsection;
    padding: 0 .5em 0 0;
    content: counter(section) "." counter(subsection);
    opacity: .3;
}

a {
    color: inherit;
    font-weight: 400;
    text-decoration: none;
    box-shadow: 0 1px 0 #999;
}

/* a:hover {text-decoration: underline} */

hr {
    border: none;
    height: 2px;
    background: var(--darker);
    margin: 2.5em 0;
}

#pidx {
    list-style: none;
    padding: 0;
    margin: 2em 0 0;
}
#pidx li {
    line-height: 1.4em; display: flex;
    margin: 1em 0;
}
#pidx li > span {
    font-family: monospace;
    font-size: 14px;
    margin-right: 1em;
    opacity: 0.7;
    flex-shrink: 0;
}
#pidx li a {
    box-shadow: none;
}

details summary {
    cursor: pointer;
    padding: .5em 1em;
    border-radius: 3px;
}

strong {
    color: var(--text-strong);
    font-weight: 500;
}

#hd {
    position: sticky;
    top: 0;
    width: 100%;
    z-index: 1000;
    background: var(--background);
    padding: 10px; /* adjust as needed */
}

#hd a {box-shadow: none}

#hd > section {
    max-width: var(--width);
    margin: 0 auto;
    padding-bottom: 20px;
    box-sizing: border-box;
    display: flex;
    width: 100%;
}

#hd svg path {
    stroke: var(--text) !important
}

#hd section > a {
    margin: 0 1em 0 0;
    display: flex;
    align-items: center;
}

#hd nav a {
    margin: 0 0 0 1.2rem;
    text-decoration: none;
    text-transform: uppercase;
    font-weight: 500;
}

#hd nav a:hover {border-bottom:2px solid var(--yellow)}

main, .breadcrumb {
    padding: 2em 1em;
    max-width: var(--width);
    box-sizing: border-box;
    width: 100%;
    margin: 0em auto;
}

#ft {
    position: fixed;
    bottom: 0;
    width: 100%;
    background-color: var(--background);
    text-align: center;
    padding: 10px 0;
    z-index: 10;
}

p > span.display {
    display: block;
    overflow-x: auto;
    overflow-y: clip;
    margin: 2em 0;
}

p > span.display .katex { display:block } /* katex is shit */

p > span.display math {
    font-size: 1.2rem;
}


main {flex-grow: 1 }

h1, h2, h3, h4 { font-weight: 500 }

main header h1 {margin: 0}
main header p {margin: 0}
main header {margin: 0 0 2em}

main ul li, main ol li { padding: 0 0 0 0 }
main ul, main ol { padding: 0 0 0 1.5em }

main ul.projects a { text-decoration: none; box-shadow: none }

main ul.projects {
    padding: 0;
    margin: 2.5em 0 0;
    list-style: none;
    display: grid;
    grid-template-columns: repeat(auto-fill, minmax(300px, 1fr));
    grid-gap: 1.5em;
}

main ul.projects li {
    border-radius: 5px;
}

main ul.projects > li > a {
    display: flex;
    color: inherit;
    transition: .2s background
}

main ul.projects li a p {
    font-weight: 300;
    opacity: 0.7;
    font-size: .9em;
    margin: 0;
}

main ul.projects > li svg {
    width: 40px;
    margin: .5em 1em 0 0;
}

main ul.projects > li svg rect,
main ul.projects > li svg path,
main ul.projects > li svg use,
header.project div svg rect,
header.project div svg path,
header.project div svg use {
    fill: none;
    stroke: var(--text);
    stroke-linejoin: bevel;
    stroke-linecap: round;
}

main ul.projects > li h2  { margin: 0; font-size: 1em }


header.project { display: flex }
header.project svg {
    width: 40px;
    margin: 1em 2em 0 0;
}
header.project p {font-style: italic}
header.project ul {padding: 0}
header.project ul li {
    font-size: .9em;
    display: inline-block;
    padding: .3em .5em;
    font-family: monospace;
    border-radius: 3px;
    margin: 0 1em 0 0;
}

main blockquote {
    border-left: 2px solid var(--darker);
    margin: 1.5em 0;
    padding: 0 1em;
    opacity: 0.8;
    line-height: 1.5;
    font-style: italic;
}

main h2 { font-size: 1.6em; margin: 1em 0 .5em }
main h1 + h2 {margin-top: 0}
main h3 { font-size: 1.3em; margin: 1em 0 .5em }

#citations {margin: 2em 0 0}
dl {display:grid; gap: 1em; grid-template-columns: auto 1fr}
dt {text-align: right; font-weight: 500;}
.citation-label::before {content:'['}
.citation-label::after  {content:']:'}
dd {margin:0}
dd p {margin:0}

code, pre.Agda {font: 1em monospace}
pre.Agda a {font-weight: inherit; text-decoration: none}
pre.Agda a[href]:hover { box-shadow: 0 2px 0 var(--yellow) }

code {
    display: inline-block;
    padding: 0 .3em;
    background: var(--dark);
}

pre > code {display: block}

pre, div.sourceCode {
    margin:1.5em 0;
    padding: .8em 0;
    line-height: 1;
    overflow: auto;
}

pre, div.sourceCode {
    background: var(--dark);
}

div.sourceCode > pre {
    margin: 0;
    padding: 0;
}

pre.Agda {
    margin: 1.5em 0;
    padding: .8em 1em;
    overflow: auto;
}

pre > code {
    display: inline-block;
    margin: 0 1em;
}

figure {
    margin: 2em 0;
    height: 160px; /* Set the fixed height here */
    width: 740px;
    position: relative; /* To position the image absolutely within the figure */
}

figure img {
    position: absolute;
    top: 0;
    left: 0;
    width: 100%;
    height: 100%; /* Ensures the image takes the full height of the figure */
    object-fit: cover; /* Ensures the image covers the entire area while maintaining its aspect ratio */
}

figure figcaption {
    margin-top: 1em;
}

figure figcaption::before {
    content: "Fig " counter(figure) ".";
    padding-right: .5em;
    font-style: italic;
    font-weight: 400;
}

figure table {
    margin: 0 auto;
    border-collapse: collapse;
}

figure table th { font-weight: 500 }
figure table th, figure table td {
    border: 2px solid var(--darker);
    padding: .3em .5em;
}

ol.pages {
    padding: .5em 1em .5em 3em;
    margin: 2em 0 2.5em;
}
ol.pages li::marker {
    font-weight: 600;
    color: var(--dark);
}

ol.pages li a {
    display: block;
    line-height: 2em;
    padding: 0 1em;
}

section.visual {
    display: grid;
    grid-gap: 1em;
    align-items: center;
    grid-template-columns:  repeat(auto-fill, minmax(600px, 1fr));
}

section.visual:not(.tiny) {
    grid-template-rows: masonry;
}

section.visual.tiny {
    align-items: stretch;
    grid-template-columns: repeat(auto-fill, minmax(160px, 1fr));
}

section.visual figure { margin: 0 }
section.visual.tiny figure { margin: 0; overflow: hidden; }
figure img {
    max-width: 100%;
    height: auto;
    /* aspect-ratio: attr(width) / attr(height); */
    vertical-align: top;
}
section.visual.tiny img {object-fit: cover}

p.right {text-align: right}

section.visual.tiny figure img { height: 100% }

.admonition {
    border-left: 3px solid var(--yellow);
    box-sizing: border-box;
    padding: 1px 1em;
    background: #f8c32520;
    border-radius: 3px;
    font-weight: 300;
    font-size: .9rem;
    color: #67510f
}

.admonition p {
    margin: .5em 0;
}

.al {color: #f00; font-weight: bold; }
.an {color: #60a0b0; font-weight: bold; font-style: italic; }
.at {color:#7d9029}
.bn {color:#40a070}
.cf {color:#007020; font-weight: bold; }
.ch {color:#4070a0}
.cn, .Agda .InductiveConstructor {color:#880000}
.co, .Agda .Comment {color:#60a0b0; font-style: italic; }
.cv {color:#60a0b0; font-weight: bold; font-style: italic; }
.do {color:#ba2121; font-style: italic; }
.dt, .Agda .PrimitiveType
, .Agda .Datatype {color:#902000}
.dv {color:#40a070}
.er {color:#f00; font-weight: bold; }
.fl {color:#40a070; }
.fu, .Agda .Function {color:#06287e; }
.in {color:#60a0b0; font-weight: bold; font-style: italic; }
.kw, .Agda .Keyword {color:#007020; }
.op {color:#666}
.ot, .Agda .Symbol {color:#007020}
.pp {color:#bc7a00}
.sc {color:#4070a0}
.ss {color:#bb6688}
.st {color:#4070a0}
.va {color:#19177c}
.vs {color:#4070a0}
.wa {color:#60a0b0; font-weight: bold; font-style: italic; }

@media (prefers-color-scheme: dark) {
    .al {color: #DC322F; font-weight: bold; }
    .an {color: #60a0b0; font-weight: bold; font-style: italic; }
    .at {color:#7d9029}
    .bn {color:#40a070}
    .cf {color:#007020; font-weight: bold; }
    .ch {color:#4070a0}
    .cn, .Agda .InductiveConstructor, .Field {color:#2AA198}
    .co, .Agda .Comment {color:#60a0b0; font-style: italic; }
    .cv {color:#60a0b0; font-weight: bold; font-style: italic; }
    .do {color:#ba2121; font-style: italic; }
    .dt, .Agda .PrimitiveType
    , .Agda .Datatype {color:#B58900}
    .dv {color:#40a070}
    .er {color:#f00; font-weight: bold; }
    .fl {color:#40a070; }
    .fu, .Agda .Function {color:#268BD2; }
    .in {color:#60a0b0; font-weight: bold; font-style: italic; }
    .kw, .Agda .Keyword {color: #859900; }
    .op {color:#666}
    .ot, .Agda .Symbol {color:#93A1A1}
    .pp {color:#bc7a00}
    .sc {color:#4070a0}
    .ss {color:#bb6688}
    .st {color:#4070a0}
    .va {color:#19177c}
    .vs {color:#4070a0}
    .wa {color:#60a0b0; font-weight: bold; font-style: italic; }

    div.sourceCode, pre.Agda, code, pre {
        background: #2f3542;
    }
}

table.books {
    border-collapse: collapse;
    margin: 0 auto;
}
table.books tr td {
    padding: .1em 1em
}
table.books tr td:first-child {
    font-style: italic;
    text-align: right;
    color: var(--text-faded);
    font-weight: 500;
}

table.books tr td:nth-child(3),
table.books tr td:last-child  {text-align: center;color: var(--yellow)}

.breadcrumb {
    padding-bottom: 0;
    padding-top: 0;
    margin-top: 2em;
}

.breadcrumb .sep {
    color: #999;
    padding: 0 .5em;
    cursor: default;
}

main { counter-reset: figure; }
main > header h1   {line-height: 1.3  }
main > header time {
    opacity: 0.6;
}

canvas { width: 100% }
canvas.r1 { aspect-ratio:  1 }
canvas.r2 { aspect-ratio:  2 }
canvas.hw { width: 50%       }

input[type=range] {
    width: calc(100% - 2em);
    margin: 1em 1em;
    box-sizing: border-box;
    display: block;
}

.grabber { cursor: grab }

/* MathML styling */
mover.seq > mrow:nth-child(2) { /* display: block */ }
mover.seq > mrow:nth-child(1) {
    border-top: .05em solid;
}
mover.seq > mrow:nth-child(2) {
    padding-bottom: .1em;
    border-bottom: .05em solid;
    /* display: flex;
    flex-direction: row;
    gap: 1em;
    justify-content: space-between; */
}
mover.seq > mrow { math-depth: 0 }
mover.seq > mrow:nth-child(2) > * {
    align-self: end;
}