: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", sans-serif;
  line-height: 1.54;
  margin: 0;
  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;
}

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: 500;
}

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.6em}
#pidx li > span {
  font-family: monospace;
  font-size: 14px;
  margin-right: 1em;
  opacity: 0.7;
}

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

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

#hd {
  margin: 1em 0 0;
}

#hd > section {
  max-width: var(--width);
  margin: 0 auto;
  padding: 0 1em;
  box-sizing: border-box;
  display: flex;
  line-height: 40px;
  width: 100%;
}

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

#hd section > a {
  margin:-2px 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, #ft, .breadcrumb {
  padding: 2em 1em;
  max-width: var(--width);
  box-sizing: border-box;
  width: 100%;
  margin: 0em auto;
}

main {
  padding: 0 1em;
  margin: 2em auto;
}

p > span.display {
  display: block;
  overflow-x: auto;
}


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 { padding: 0 0 0 0 }
main ul { padding: 0 0 0 1.5em }

main ul.projects a { text-decoration: 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 img {
  width: 40px;
  margin: .5em 1em 0 0;
}

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


header.project { display: flex }
header.project img {
  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 {
  font: 16px serif;
  font-style: italic;
}

main pre { padding: 0 0 0 1em }
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: .9em "Source Code Pro", monospace}
pre.Agda a {font-weight: inherit; text-decoration: none}
pre.Agda a[href]:hover { background: var(--yellow) }

code, pre.sourceCode, pre.Agda {
  border-radius: 3px;
}

code {
    display: inline-block;
    padding: 0 .3em;
}

pre > code {display: block}

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

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

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

figure {
  margin: 2em 0;
  text-align: center;
}

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(300px, 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; }

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: 1em;
}

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

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