@import url('https://fonts.googleapis.com/css2?family=Fraunces:ital,opsz,wght@0,9..144,400;0,9..144,500;0,9..144,600&family=IBM+Plex+Sans:wght@400;500&family=IBM+Plex+Mono:wght@400;500&display=swap');

:root{
  --paper: #f2f3ef;
  --paper-2: #ebece6;
  --ink: #1c1e1b;
  --ink-soft: #4a4d47;
  --muted: #82867d;
  --hairline: #d9dbd2;
  --accent: #2f5d8a;
  --accent-soft: #6e7bb8;
  --accent-warm: #b8748a;
}

body{
  background-color:var(--paper) !important;
  color:var(--ink-soft) !important;
  font-family:'IBM Plex Sans', sans-serif !important;
}

.hero.is-light{ background-color:var(--paper-2) !important; }
.hero-body{ background-color:transparent; }

.title, .publication-title{
  font-family:'Fraunces', serif !important;
  color:var(--ink) !important;
  font-weight:500 !important;
  letter-spacing:-0.01em;
}

.publication-authors a{
  color:var(--ink) !important;
  border-bottom:1px solid transparent;
}
.publication-authors a:hover{ color:var(--accent) !important; border-bottom-color:var(--accent); }

.content, p, .subtitle{
  color:var(--ink-soft);
  font-family:'IBM Plex Sans', sans-serif;
}

a.external-link{
  color:var(--ink) !important;
}

.button.is-dark{
  background-color:var(--accent) !important;
  border-color:var(--accent) !important;
  color:var(--paper) !important;
  font-family:'IBM Plex Mono', monospace !important;
  font-size:13px !important;
  letter-spacing:0.03em;
}
.button.is-dark:hover{
  background-color:var(--ink) !important;
  border-color:var(--ink) !important;
}

h2.title{
  border-bottom:1px solid var(--hairline);
  padding-bottom:10px;
}

code, pre{
  font-family:'IBM Plex Mono', monospace !important;
  background-color:var(--paper-2) !important;
  color:var(--ink-soft) !important;
  border-radius:6px;
}

.footer{
  background-color:var(--paper-2) !important;
  font-family:'IBM Plex Mono', monospace;
  font-size:12px;
  color:var(--muted);
}
.footer a{ color:var(--accent) !important; }

/* keep the depth-map accent visible on hover states across the page */
::selection{ background:var(--accent-soft); color:#fff; }