/* reset */
* {
  margin: 0;
  padding: 0;
  color: inherit;
  font-size: inherit;
}
/* colors */
:root {
  --shadow: #000a;
  --page-bg: #f0f0f0;
  --page-stripes: #f6f6f6;
  --main-bg: #fafafa;
  --main-dots: #eeeeee;
  color-scheme: light dark;
}
.welcome { --accent: #000; }
.home { --accent: #37e; }
.research { --accent: #7a1; }
.teaching { --accent: #ec1; }
.activism { --accent: #c11; }
.software { --accent: #751; }
.links { --accent: #717; }
.miscellaneous { --accent: #e71; }
/* structure */
/** body **/
html {
  height: 100%;
  font-size: 12pt;
  background-image: linear-gradient(90deg, var(--page-bg) 50%, var(--page-stripes) 50%);
  background-size: 8px 1px;
}
body {
  min-height: 100%;
  font-family: sans-serif;
  color: #000;
  min-width: 360px;
  box-shadow: var(--shadow) 0 0 0.42rem;
}
@media (min-width: 1042px) {
  body {
    margin: 0 auto;
    max-width: 1312px;
  }
}
/** nav **/
nav {
  position: fixed;
  top: 0;
  left: 0;
  right: 0;
  z-index: 93;
  box-shadow: var(--shadow) 0 0 0.42rem;
}
.welcome nav { box-shadow: unset; }
nav::before { content: '×'; }
nav ul::before { content: '≡'; }
nav::before, nav ul::before {
  font-size: max(min(2rem, 6.25dvh), 1rem);
  color: #fff;
  text-align: center;
  box-sizing: border-box;
  width: 1.312em;
  height: 1.312em;
  line-height: 1.312em;
  border: 1px solid #fff;
  border-radius: 5px;
  margin: 0.344em;
  float: right;
  cursor: pointer;
  position: relative;
  z-index: 1312;
}
nav::before { display: none; }
nav ul::before { display: block; }
nav ul:focus-within::before { display: none; }
nav:focus-within:not(:focus)::before { display: block; }
@media (max-height: 16rem) {
  nav:focus-within:not(:focus) {
    height: 100dvh;
    overflow-y: auto;
  }
}
nav ul li { list-style-type: none; }
nav ul li a {
  display: none;
  text-decoration: none;
  padding: 0 max(min(4rem, 12.5dvh), 1.312rem) 0 0.75rem;
  background-color: var(--accent);
  color: #0004;
  line-height: max(min(4rem, 12.5dvh), 2rem);
  font-size: max(min(1.312rem, 4.1dvh), 1rem);
  font-weight: bold;
  text-align: left;
}
nav ul li a.welcome { color: #fff4; }
nav ul:focus-within li a { display: block; }
nav ul li a.current { display: block; color: #fff; }
nav ul li a:hover, nav ul li a:focus { color: #fff !important; }
nav ul li a.welcome.current { color: #fff6; }
@media (min-width: 1042px) {
  nav::before, nav ul::before { display: none !important; }
  nav {
    top: unset;
    left: unset;
    right: unset;
    width: 9.3rem;
    height: 100%;
    overflow-y: auto;
    background-color: #ccc;
    box-shadow: unset;
  }
  nav ul li a {
    display: block;
    padding: 0 0.5rem;
    line-height: 5.1rem;
    font-size: 1rem;
    text-align: right;
  }
  nav ul li a.welcome {
    line-height: 1.8rem;
    font-size: 0.9rem;
  }
}
/** logo **/
#cocopyleft { display: none; }
@media (min-width: 1042px) and (min-height: 45rem) {
  #cocopyleft {
    display: block;
    position: fixed;
    margin-left: 1.65rem;
    bottom: 1rem;
    width: 6rem;
    height: 6rem;
    z-index: 1871;
  }
  #cocopyleft path { fill: #111; }
  #cocopyleft .handles { fill: var(--accent); }
}
/** main **/
main {
  background-color: #fff;
  padding: calc(max(min(4rem, 12.5dvh), 2rem) + 0.75rem) 0.75rem 0.75rem 0.75rem;
  min-height: calc(100dvh - (max(min(4rem, 12.5dvh), 2rem) + 1.5rem));
  box-shadow: var(--shadow) 0 0 0.42rem inset;
  line-height: 1.5em;
  text-align: justify;
  background-image: radial-gradient(var(--main-dots) 1px, transparent 1px), radial-gradient(var(--main-dots) 1px, var(--main-bg) 1px);
  background-size: 8px 8px;
  background-position: 0px 0px, 4px 4px;
  position: relative;
}
main :target { scroll-margin-top: calc(max(min(4rem, 12.5dvh), 2rem) + 0.75rem); }
@media (min-width: 1042px) {
  main {
    padding: 0.75rem 1rem;
    min-height: calc(100dvh - 1.5rem);
    margin-left: 9.3rem;
    border-style: solid;
    border-color: var(--accent);
    border-width: 0 2rem;
  }
  main :target { scroll-margin-top: 0.75rem; }
}
main menu {
  font-family: monospace;
  font-size: 0.9rem;
  margin-bottom: 0.5rem;
  text-align: right;
}
main menu li { display: inline; }
main menu + p.quote {
  display: none;
  text-align: right;
  font-family: serif;
  font-style: italic;
}
@media (min-width: 1042px) {
  main menu { float: left; }
  main menu + p.quote { display: block; }
}
main h2, main h3 {
  font-weight: bold;
  font-size: 1.1rem;
}
main h2 {
  padding: 0 0.5rem;
  margin: 1rem 0 0.42rem 0;
  width: fit-content;
  line-height: 2rem;
  background-color: color-mix(in oklab, var(--accent) 90%, #000);
  color: #fff;
  font-family: monospace;
  clear: both;
}
/* contents */
main a { text-decoration: underline solid color-mix(in oklab, var(--accent) 80%, #000); }
main a:hover, main a:focus { color: color-mix(in oklab, var(--accent) 80%, #000); }
main p, main ul, main dl, main ol { margin-bottom: 0.5rem; }
main ul, main ol { margin-left: 1.5rem; }
main dl dt { font-weight: bold; }
main dl dd { margin-bottom: 0.5rem; }
main ul li {
  margin-bottom: 0.25rem;
  list-style-type: circle;
  list-style-position: outside;
}
main ul ul li, main ol ul li {
  margin-bottom: 0.25rem;
  list-style-type: square;
}
main .info {
  font-size: 0.9em;
  line-height: 1.3em;
}
main i { font-family: serif; }
main small { font-size: 0.75em; }
main sup { font-size: 0.8em; }
main blockquote {
  margin: 0 0 0.5rem 1rem;
  padding: 0 2.5rem 0 1rem;
  border-left: 0.5rem solid #ccc;
  font-family: serif;
}
/* specifics */
/** welcome **/
.welcome main {
  background-color: #000;
  background-image: unset;
  box-shadow: unset;
}
.welcome main p {
  margin-bottom: 0.5em;
  font-size: max(5.5vw, 1.312rem);
  letter-spacing: -0.02em;
  word-spacing: -0.075em;
  line-height: 0.9em;
  font-weight: normal;
  font-stretch: semi-condensed;
  white-space: pre-line;
  text-transform: lowercase;
  color: color-mix(in oklab, var(--accent) 42%, #fff);
}
.welcome main p a {
  text-decoration: none;
  color: var(--accent) !important;
  letter-spacing: 0;
  position: relative;
  z-index: 42;
}
.welcome main #stopthecono {
  width: min(30vw, 13.12rem);
  fill: var(--stc, #fff);
  display: table;
  margin: 2em 1em 2em auto;
  transition: fill 0.51s ease;
}
.welcome:has(.home:hover) { --stc: #37e; }
.welcome:has(.research:hover) { --stc: #7a1; }
.welcome:has(.teaching:hover) { --stc: #ec1; }
.welcome:has(.activism:hover) { --stc: #c11; }
.welcome:has(.software:hover) { --stc: #751; }
.welcome:has(.links:hover) { --stc: #717; }
.welcome:has(.miscellaneous:hover) { --stc: #e71; }
@media (min-width: 670px) { .welcome main p { font-size: 2.3rem; } }
@media (min-width: 1042px) {
  .welcome main {
    padding-top: 1.8rem;
    min-height: calc(100dvh - 2.55rem);
  }
  .welcome main p {
    font-size: 2.3rem;
    padding: 0.48rem 0;
    margin: 0;
  }
  .welcome main #stopthecono {
    position: absolute;
    bottom: 0;
    right: 0;
  }
}
/** home **/
.home main blockquote {
  text-align: center;
  font-style: italic;
  padding: 0;
  margin: 0;
  border-left-width: 0;
}
.home main #news dl {
  background-color: #ccc;
  font-size: 0.9rem;
  padding-bottom: 0.25rem;
}
.home main #news dl dt {
  padding: 0.42rem 0.5rem 0.25rem 0.5rem;
  font-weight: inherit;
  line-height: 1.2em;
}
.home main #news dl dt a { font-style: italic; }
.home main #news dl dt time {
  float: right;
  font-size: 0.8rem;
}
.home main #news dl dd {
  margin: 0 0.25rem;
  background-color: #eee;
  font-size: 0.8rem;
}
.home main #news dl dd p {
  margin-bottom: 0;
  padding: 0.25rem 0.5rem;
  line-height: 1.3em;
}
@media (min-width: 1042px) {
  .home main::after {
    content: '';
    clear: both;
    display: block;
  }
  .home main > div h2:first-child { margin-top: 0.5rem; }
  .home #presentation {
    width: calc(58% - 0.75rem);
    float: left;
  }
  .home #news {
    width: calc(42% - 0.75rem);
    float: right;
  }
}
/** research **/
.research main dl dt a { opacity: 0.25; text-decoration: none; }
.research main dl dt:hover a, .research main dl dt:has(+ dd:hover) a { opacity: 1.0; }
.research main dl dd ul { margin: 0; }
.research main dl dd ul li { margin: 0; }
.research main dl dd ul.authors li {
  display: inline;
  margin-left: 0;
}
.research main dl dd ul.authors li::after {
  content: ',';
  margin-right: 0.5rem;
}
.research main dl dd ul.authors li:last-child::after {
  content: '';
  margin-right: 0;
}
.research main dl dd ul.in li { list-style-type: none; }
.research main dl dd ul.in li::before {
  color: #aaa;
  font-size: 0.9rem;
  font-variant: small-caps;
  margin-right: 0.5rem;
}
.research main dl dd ul.in li.workshop::before { content: 'workshop'; }
.research main dl dd ul.in li.conference::before { content: 'conference'; }
.research main dl dd ul.in li.journal::before { content: 'journal'; }
.research main dl dd ul.in li.book::before { content: 'book'; }
.research main dl dd ul.info {
  display: inline;
  color: #444;
}
.research main dl dd ul.info li {
  display: inline;
  margin-left: 0;
}
.research main dl dd ul.info li::after { content: ' · '; }
.research main dl dd label {
  color: #444;
  font-size: 0.8rem;
  margin: 0;
  cursor: pointer;
}
.research main dl dd label::after {
  content: ' ';
  display: block;
}
.research main dl dd p { margin-bottom: 0; }
.research main dl dd p.abs {
  display: none;
  margin: 0.5rem 0 1rem 0;
  border-left: 0.5rem solid #ccc;
  padding-left: 0.5rem;
  font-size: 0.9rem;
  font-family: serif;
}
.research main dl dd input[type="checkbox"] { display: none; }
.research main dl dd label span:first-of-type { display: inline; }
.research main dl dd label span:last-of-type { display: none; }
.research main dl dd input:checked ~ label span:first-of-type { display: none; }
.research main dl dd input:checked ~ label span:last-of-type { display: inline }
.research main dl dd input:checked ~ p.abs { display: block; }
.research main dl dt:target + dd p.abs { display: block; }
.research main dl dt:target + dd label span:first-of-type { display: none; }
.research main dl dt:target + dd label span:last-of-type { display: inline; }
.research main dl dt:target + dd input:checked ~ label span:first-of-type { display: inline; }
.research main dl dt:target + dd input:checked ~ label span:last-of-type { display: none }
.research main dl dt:target + dd input:checked ~ p.abs { display: none; }
/** links **/
@media (min-width: 600px) {
  .links main ul { column-count: 2; }
  @media (min-width: 900px) {
    .links main ul { column-count: 3; }
  }
}
/** miscellaneous **/
.miscellaneous main #bookshelf input { display: none; }
.miscellaneous main #bookshelf label {
  --tag-on: 0;
  --tag-r1: calc(238 * (1 - var(--tag-on)) + 255 * var(--tag-on));
  --tag-g1: calc(119 * (1 - var(--tag-on)) + 255 * var(--tag-on));
  --tag-b1: calc(17  * (1 - var(--tag-on)) + 255 * var(--tag-on));
  --tag-r2: calc(250 * (1 - var(--tag-on)) + 238 * var(--tag-on));
  --tag-g2: calc(250 * (1 - var(--tag-on)) + 119 * var(--tag-on));
  --tag-b2: calc(250 * (1 - var(--tag-on)) + 17  * var(--tag-on));
  --tag-color1: rgb(var(--tag-r1), var(--tag-g1), var(--tag-b1));
  --tag-color2: rgb(var(--tag-r2), var(--tag-g2), var(--tag-b2));
  border-width: 1px;
  border-style: solid;
  border-color: var(--accent);
  border-radius: 0.42rem;
  padding: 0.1rem 0.25rem;
  color: var(--tag-color1);
  background-color: var(--tag-color2);
  font-size: 0.8rem;
  cursor: pointer;
}
.miscellaneous main #bookshelf ul { margin-top: 0.5rem; }
/* adapters */
/** dark **/
@media (prefers-color-scheme: dark) {
  :root {
    --shadow: #eeea;
    --page-bg: #191919;
    --page-stripes: #1f1f1f;
    --main-bg: #303030;
    --main-dots: #3a3a3a;
    color-scheme: dark light;
  }
  body { color: #fff; }
  main { background-color: #333; }
  main a { text-decoration: underline solid color-mix(in oklab, var(--accent) 70%, #fff); }
  main a:hover, main a:focus { color: color-mix(in oklab, var(--accent) 70%, #fff); }
  .home main #news dl { background-color: #555; }
  .home main #news dl dd { background-color: #666; }
  .research main dl dd ul.info, .research main dl dd label { color: #ddd; }
  .miscellaneous main #bookshelf label {
    --tag-r2: calc(48 * (1 - var(--tag-on)) + 238 * var(--tag-on));
    --tag-g2: calc(48 * (1 - var(--tag-on)) + 119 * var(--tag-on));
    --tag-b2: calc(48 * (1 - var(--tag-on)) + 17  * var(--tag-on));
  }
}
/** color-mix fallback **/
@supports not (color: color-mix(in oklab, #fff 50%, #000)) {
  main h2 { background-color: var(--accent); }
  main a { text-decoration: underline solid var(--accent); }
  main a:hover, main a:focus { color: var(--accent); }
  .welcome main p { color: #fff; }
}
/** print **/
@media print {
  html { font-size: 10.5pt; background: unset; }
  body { max-width: none; background: unset; }
  nav { display: none; }
  main { border: none; padding: 0; margin: 0; box-shadow: none; background: unset; }
  main menu { display: none; }
  main a::after { content: ' [' attr(href) ']'; font-size: 0.7em; }
}