@font-face {
  font-family: Source Sans;
  src: url("fonts/source-sans-3-latin-400-normal.woff2") format("woff2");
  font-weight: 400;
  font-style: normal;
  font-display: swap;
}
@font-face {
  font-family: Source Sans;
  src: url("fonts/source-sans-3-latin-600-normal.woff2") format("woff2");
  font-weight: 600;
  font-style: normal;
  font-display: swap;
}
@font-face {
  font-family: Source Sans;
  src: url("fonts/source-sans-3-latin-700-normal.woff2") format("woff2");
  font-weight: 700;
  font-style: normal;
  font-display: swap;
}
:root {
  --paper: #f5f2eb;
  --white: #fffdf8;
  --ink: #202724;
  --muted: #57605a;
  --line: #d5d9d0;
  --blue: #1748ba;
  --orange: #a23f20;
  --soft: #e9eee6;
  --sans: "Source Sans", Arial, sans-serif;
}
* {
  box-sizing: border-box;
}
html {
  scroll-behavior: smooth;
  scroll-padding-top: 110px;
}
body {
  margin: 0;
  background: var(--paper);
  color: var(--ink);
  font: 18px/1.6 var(--sans);
}
[hidden] {
  display: none !important;
}
a {
  color: var(--blue);
  text-underline-offset: 0.2em;
}
a:hover {
  text-decoration-thickness: 2px;
}
button,
input,
select {
  font: inherit;
}
button,
a,
input,
select {
  touch-action: manipulation;
}
button {
  cursor: pointer;
}
img,
svg {
  max-width: 100%;
  height: auto;
}
h1,
h2,
h3,
p {
  margin-top: 0;
}
h1,
h2,
h3 {
  line-height: 1.12;
  letter-spacing: -0.025em;
}
h1 {
  font-size: clamp(2.2rem, 4vw, 3rem);
  font-weight: 600;
}
h2 {
  font-size: clamp(1.65rem, 3vw, 2.25rem);
  font-weight: 600;
}
h3 {
  font-size: 1.35rem;
  font-weight: 600;
}
p {
  margin-bottom: 1.1rem;
}
::selection {
  background: #d7e2ff;
}
a,
button,
input,
select,
summary {
  outline-offset: 5px;
}
:focus-visible {
  outline: 3px solid var(--orange);
}
.shell {
  width: min(1160px, calc(100% - 64px));
  margin-inline: auto;
}
.skip-link {
  position: fixed;
  top: 10px;
  left: 10px;
  z-index: 100;
  background: var(--ink);
  color: white;
  padding: 12px;
  transform: translateY(-180%);
}
.skip-link:focus {
  transform: none;
}
.site-header {
  position: sticky;
  top: 0;
  z-index: 20;
  background: var(--paper);
  border-bottom: 1px solid var(--line);
}
.header-inner {
  min-height: 84px;
  display: flex;
  align-items: center;
  gap: 24px;
}
.brand {
  display: flex;
  align-items: center;
  gap: 12px;
  text-decoration: none;
  color: var(--ink);
  font-size: 17px;
  font-weight: 600;
  white-space: nowrap;
}
.brand-mark {
  display: grid;
  place-items: center;
  background: var(--ink);
  color: var(--white);
  width: 38px;
  height: 38px;
  font-size: 12px;
  letter-spacing: 0.02em;
}
.site-nav {
  display: flex;
  align-items: center;
  gap: 19px;
  margin-left: auto;
  font-size: 15px;
  font-weight: 600;
}
.site-nav a {
  text-decoration: none;
  color: var(--muted);
  padding-block: 12px;
}
.site-nav a:hover,
.site-nav a[aria-current="page"] {
  color: var(--blue);
}
.site-nav .nav-contact {
  background: var(--blue);
  color: white;
  padding: 10px 17px;
  border-radius: 3px;
}
.site-nav .nav-contact[aria-current="page"] {
  color: white;
  box-shadow: inset 0 -4px 0 #94b1ff;
}
.site-nav .nav-portal {
  font-size: 14px;
  color: var(--orange);
}
.menu-button {
  margin-left: auto;
  background: none;
  border: 1px solid var(--line);
  padding: 8px 14px;
  color: var(--ink);
}
.eyebrow,
.section-label {
  font-size: 13px;
  letter-spacing: 0.11em;
  text-transform: uppercase;
  color: var(--orange);
  font-weight: 700;
}
.page-header {
  padding-block: 56px 36px;
  border-bottom: 1px solid var(--line);
  margin-bottom: 40px;
}
.page-header h1 {
  margin: 10px 0 18px;
}
.page-header p:last-child {
  max-width: 720px;
  color: var(--muted);
  margin-bottom: 0;
}
.home-hero {
  display: grid;
  grid-template-columns: 1.25fr 1fr;
  gap: 64px;
  align-items: center;
  padding: 64px 0 48px;
}
.home-hero h1 {
  font-size: clamp(2.7rem, 5.8vw, 4.5rem);
  letter-spacing: -0.045em;
  margin-bottom: 20px;
  max-width: 12ch;
}
.hero-role {
  font-size: 24px;
  font-weight: 600;
  line-height: 1.35;
  margin-bottom: 18px;
}
.hero-intro {
  max-width: 520px;
  color: var(--muted);
  font-size: 19px;
}
.actions {
  display: flex;
  gap: 12px;
  align-items: center;
  flex-wrap: wrap;
  margin-top: 26px;
}
.button {
  display: inline-flex;
  justify-content: center;
  align-items: center;
  gap: 12px;
  background: var(--blue);
  color: white;
  border: 1px solid var(--blue);
  border-radius: 3px;
  padding: 11px 20px;
  min-height: 46px;
  text-decoration: none;
  font-weight: 600;
  font-size: 16px;
}
.button:hover {
  background: #103a9c;
  color: white;
}
.button.secondary {
  background: transparent;
  color: var(--ink);
  border-color: #8b948b;
}
.button.secondary:hover {
  background: var(--soft);
}
.hero-art {
  position: relative;
  background: var(--soft);
  padding: 32px;
  border-radius: 4px;
  overflow: hidden;
}
.hero-art svg {
  display: block;
  width: 100%;
}
.hero-art p {
  margin: 18px 0 0;
  color: var(--muted);
  font-size: 14px;
}
.career-strip {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  border-top: 1px solid var(--line);
  border-bottom: 1px solid var(--line);
  padding: 22px 0;
  margin-bottom: 60px;
  gap: 24px;
}
.career-strip a {
  text-decoration: none;
  color: var(--ink);
}
.career-strip strong {
  display: block;
  font-size: 22px;
  font-weight: 600;
}
.career-strip span {
  display: block;
  font-size: 15px;
  color: var(--muted);
}
.career-strip a + a {
  border-left: 1px solid var(--line);
  padding-left: 24px;
}
.section {
  margin-bottom: 64px;
}
.section-heading {
  display: flex;
  align-items: end;
  justify-content: space-between;
  gap: 20px;
  margin-bottom: 25px;
}
.section-heading h2 {
  margin: 0;
}
.section-heading p {
  margin: 0;
  max-width: 650px;
}
.section-heading > a {
  font-size: 16px;
  white-space: nowrap;
}
.cards {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 24px;
}
.card {
  min-width: 0;
  background: var(--white);
  border: 1px solid var(--line);
  border-radius: 4px;
  padding: 28px;
  display: flex;
  flex-direction: column;
  align-items: start;
}
.card h2,
.card h3 {
  margin: 12px 0 14px;
  overflow-wrap: anywhere;
}
.card p {
  color: var(--muted);
}
.card .text-link {
  margin-top: auto;
}
.text-link {
  font-size: 17px;
  font-weight: 600;
}
.project-visual {
  width: calc(100% + 56px);
  max-width: none;
  margin: -28px -28px 18px;
  padding: 30px 26px;
  background: var(--soft);
  height: 185px;
  display: flex;
  align-items: center;
  justify-content: center;
}
.project-visual svg {
  height: 100%;
  width: 100%;
}
.project-visual.blue {
  background: #e7ecf8;
}
.tags {
  display: flex;
  gap: 8px;
  flex-wrap: wrap;
  margin: 8px 0 20px;
}
.tag {
  font-size: 13px;
  padding: 3px 9px;
  border: 1px solid var(--line);
  border-radius: 3px;
  color: var(--muted);
}
.directory {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  border-top: 1px solid var(--line);
  gap: 0 32px;
}
.directory a {
  display: flex;
  justify-content: space-between;
  gap: 12px;
  align-items: center;
  padding: 18px 0;
  border-bottom: 1px solid var(--line);
  text-decoration: none;
  color: var(--ink);
  font-size: 18px;
}
.directory a:hover {
  color: var(--blue);
}
.latest-note {
  display: grid;
  grid-template-columns: 1fr 2fr;
  gap: 32px;
  background: var(--soft);
  padding: 32px;
  border-radius: 4px;
}
.latest-note h3 {
  font-size: 26px;
  margin-bottom: 12px;
}
.latest-note p {
  color: var(--muted);
}
.site-footer {
  border-top: 1px solid var(--line);
  margin-top: 64px;
  padding: 32px 0;
  font-size: 14px;
  color: var(--muted);
}
.footer-inner {
  display: flex;
  justify-content: space-between;
  gap: 24px;
  align-items: center;
}
.footer-inner p {
  margin: 0;
}
.footer-links {
  display: flex;
  flex-wrap: wrap;
  gap: 24px;
}
.footer-links a {
  color: var(--muted);
}
.prose {
  max-width: 760px;
}
.prose p,
.prose li {
  overflow-wrap: break-word;
}
.prose h2 {
  margin-top: 42px;
}
.prose h3 {
  margin-top: 30px;
}
.prose a {
  overflow-wrap: anywhere;
}
.prose > p {
  line-height: 1.7;
}
.prose ul,
.prose ol {
  padding-left: 1.35em;
}
.prose li {
  margin-bottom: 0.4em;
}
.prose blockquote {
  margin: 24px 0;
  padding: 16px 24px;
  border-left: 3px solid var(--blue);
  background: var(--soft);
}
.prose pre {
  overflow: auto;
  background: #202724;
  color: #f5f2eb;
  border-radius: 4px;
  padding: 20px;
  font-size: 14px;
  line-height: 1.6;
}
.prose code {
  font-family: Consolas, monospace;
  font-size: 0.88em;
}
.prose table {
  display: block;
  overflow: auto;
  border-collapse: collapse;
  max-width: 100%;
  font-size: 16px;
}
.prose td,
.prose th {
  padding: 10px 14px;
  border: 1px solid var(--line);
  text-align: left;
}
.prose img {
  display: block;
  margin: 24px auto;
}
.prose figure {
  margin: 28px 0;
}
.prose figcaption {
  font-size: 14px;
  color: var(--muted);
}
.timeline {
  border-top: 1px solid var(--line);
}
.timeline-item {
  display: grid;
  grid-template-columns: 210px 1fr;
  gap: 40px;
  border-bottom: 1px solid var(--line);
  padding: 32px 0;
}
.timeline-item h2 {
  font-size: 28px;
}
.timeline-item h3 {
  margin-top: 0;
}
.timeline-item time,
.timeline-date {
  font-size: 16px;
  color: var(--muted);
}
.timeline-item ul {
  padding-left: 20px;
}
.timeline-item li {
  margin-bottom: 8px;
}
.facts {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  gap: 24px;
  margin: 28px 0 44px;
}
.facts > * {
  padding: 20px;
  background: var(--soft);
}
.facts dt {
  color: var(--muted);
  font-size: 14px;
}
.facts dd {
  margin: 4px 0 0;
  font-weight: 600;
}
.jump-links {
  display: flex;
  gap: 12px;
  flex-wrap: wrap;
  margin-bottom: 36px;
}
.jump-links a {
  padding: 8px 14px;
  border: 1px solid var(--line);
  border-radius: 30px;
  font-size: 15px;
  text-decoration: none;
  color: var(--ink);
}
.project-section {
  margin-bottom: 60px;
  scroll-margin-top: 110px;
}
.project-section > h2 {
  padding-bottom: 16px;
  border-bottom: 1px solid var(--line);
}
.repo-controls {
  display: flex;
  gap: 18px;
  align-items: end;
  margin: 24px 0;
}
.repo-controls label {
  font-size: 14px;
  display: grid;
  gap: 6px;
  flex: 1;
}
.repo-controls input,
.repo-controls select {
  width: 100%;
  min-width: 0;
  background: var(--white);
  border: 1px solid #869085;
  border-radius: 3px;
  padding: 10px;
  color: var(--ink);
}
.repo-list {
  border-top: 1px solid var(--line);
}
.repo-row {
  display: grid;
  grid-template-columns: 1.3fr 2fr auto;
  gap: 24px;
  padding: 23px 0;
  border-bottom: 1px solid var(--line);
  align-items: start;
}
.repo-row h3 {
  margin: 0;
  font-size: 21px;
  overflow-wrap: anywhere;
}
.repo-row p {
  margin: 0;
  color: var(--muted);
  font-size: 16px;
}
.repo-row small {
  font-size: 14px;
  color: var(--muted);
}
.repo-meta {
  display: flex;
  gap: 10px;
  flex-wrap: wrap;
  margin-top: 8px;
}
.repo-row > a {
  font-size: 15px;
  padding: 6px 0;
  white-space: nowrap;
}
.muted {
  color: var(--muted);
}
.blog-list {
  display: grid;
  border-top: 1px solid var(--line);
}
.blog-list > a,
.post-card {
  padding: 24px 0;
  border-bottom: 1px solid var(--line);
  text-decoration: none;
  display: block;
  color: var(--ink);
}
.blog-list h3 {
  margin: 8px 0;
  font-size: 25px;
}
.blog-list p {
  color: var(--muted);
  margin-bottom: 8px;
}
.chapter {
  margin-bottom: 48px;
}
.chapter-empty {
  color: var(--muted);
  border-top: 1px solid var(--line);
  padding-top: 18px;
}
.article-navigation {
  display: flex;
  gap: 24px;
  justify-content: space-between;
  margin-top: 36px;
  border-top: 1px solid var(--line);
  padding-top: 24px;
}
.article-navigation > a {
  max-width: 48%;
  overflow-wrap: anywhere;
}
.article-meta {
  display: flex;
  gap: 16px;
  flex-wrap: wrap;
  font-size: 15px;
  color: var(--muted);
}
.toc {
  padding: 24px;
  background: var(--soft);
  margin-bottom: 30px;
}
.toc ul {
  margin-bottom: 0;
}
.contact-grid {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 40px;
}
.contact-grid a {
  overflow-wrap: anywhere;
}
.contact-link {
  display: block;
  padding: 22px 0;
  border-bottom: 1px solid var(--line);
}
.contact-link span {
  display: block;
  color: var(--muted);
  font-size: 14px;
}
.contact-link strong {
  font-size: 22px;
}
.diagram {
  background: var(--soft);
  padding: 24px;
  border-radius: 4px;
  margin: 28px 0;
}
.diagram svg {
  display: block;
}
.back-link {
  display: inline-block;
  margin-bottom: 24px;
}
.intro {
  font-size: 22px;
  line-height: 1.5;
  max-width: 750px;
}
.sr-only {
  position: absolute;
  width: 1px;
  height: 1px;
  overflow: hidden;
  clip: rect(0, 0, 0, 0);
}
.tags {
  list-style: none;
  padding-left: 0;
}
.academic-more {
  margin-top: 24px;
}
.page-intro,
.article-header {
  padding: 48px 0 32px;
  border-bottom: 1px solid var(--line);
  margin-bottom: 32px;
}
.page-intro .lead {
  max-width: 700px;
  color: var(--muted);
}
.article-header h1 {
  max-width: 900px;
  margin: 18px 0 24px;
}
.article-header .eyebrow {
  margin: 28px 0 0;
}
.entry-meta {
  display: flex;
  flex-wrap: wrap;
  gap: 8px 20px;
  color: var(--muted);
  font-size: 15px;
}
.blog-list {
  list-style: none;
  padding: 0;
  margin: 0;
}
.blog-entry {
  padding: 24px 0;
  border-bottom: 1px solid var(--line);
}
.blog-entry h3 a {
  text-decoration: none;
  color: var(--ink);
}
.blog-entry h3 a:hover {
  color: var(--blue);
}
.blog-entry p {
  max-width: 760px;
}
.chapter-placeholder {
  border-top: 1px solid var(--line);
  padding-top: 24px;
  color: var(--muted);
}
.chapter-placeholder h2 {
  font-size: 23px;
}
.article-contents {
  max-width: 760px;
  padding: 24px;
  background: var(--soft);
  margin-bottom: 32px;
}
.article-contents h2 {
  font-size: 22px;
}
.article-contents ul {
  padding-left: 20px;
}
.article-navigation span,
.article-navigation strong {
  display: block;
}
.article-navigation span {
  font-size: 14px;
  color: var(--muted);
}
.article-navigation strong {
  font-size: 19px;
}
.reading-page {
  max-width: 900px;
}
.latest-note .blog-list {
  border: 0;
}
.latest-note .blog-entry {
  padding: 0;
  border: 0;
}
.latest-note .section-heading {
  align-items: start;
  justify-content: start;
  flex-direction: column;
}
.latest-note h2 {
  font-size: 23px;
}
.timeline-main .tags {
  margin-bottom: 0;
}
.timeline-main .text-link {
  display: inline-block;
  margin-top: 16px;
}
button.text-link {
  border: 1px solid var(--line);
  background: transparent;
  color: var(--blue);
  padding: 8px 12px;
  min-height: 44px;
}
.card figure,
figure.card {
  margin-inline: 0;
}
.card figcaption {
  margin-top: 16px;
  font-size: 15px;
  color: var(--muted);
}
.prose + .section {
  margin-top: 48px;
}
.header-inner,
.site-nav {
  flex-wrap: wrap;
}
.header-inner {
  padding-block: 12px;
}
.home-hero {
  grid-template-columns: minmax(0, 1.25fr) minmax(0, 1fr);
}
.home-hero > * {
  min-width: 0;
}
.card p {
  overflow-wrap: anywhere;
}
@media (min-width: 1100px) {
  .menu-button {
    display: none;
  }
  .site-nav {
    display: flex !important;
  }
}
@media (max-width: 1099px) {
  .header-inner {
    flex-wrap: wrap;
    gap: 12px;
    padding-block: 15px;
  }
  .site-nav {
    width: 100%;
    flex-wrap: wrap;
    margin-left: 0;
    padding-top: 10px;
    border-top: 1px solid var(--line);
  }
  .enhanced .site-nav:not(.open) {
    display: none;
  }
  .home-hero {
    gap: 28px;
  }
  .site-header {
    position: relative;
  }
  html {
    scroll-padding-top: 20px;
  }
}
@media (max-width: 760px) {
  .shell {
    width: calc(100% - 36px);
  }
  .home-hero {
    grid-template-columns: 1fr;
    padding: 38px 0 30px;
    gap: 30px;
  }
  .home-hero h1 {
    max-width: none;
    font-size: clamp(2.6rem, 10vw, 3.8rem);
  }
  .hero-art {
    padding: 22px;
    max-height: 320px;
  }
  .hero-art svg {
    max-height: 235px;
  }
  .hero-role {
    font-size: 21px;
  }
  .career-strip {
    gap: 12px;
    padding: 18px 0;
    margin-bottom: 40px;
  }
  .career-strip a + a {
    padding-left: 12px;
  }
  .career-strip strong {
    font-size: 19px;
  }
  .career-strip span {
    font-size: 14px;
  }
  .cards {
    grid-template-columns: 1fr;
  }
  .section {
    margin-bottom: 44px;
  }
  .directory {
    grid-template-columns: repeat(2, 1fr);
    gap: 0 22px;
  }
  .latest-note {
    grid-template-columns: 1fr;
    gap: 12px;
    padding: 24px;
  }
  .timeline-item {
    grid-template-columns: 1fr;
    gap: 12px;
  }
  .facts {
    grid-template-columns: 1fr;
    gap: 12px;
  }
  .repo-row {
    grid-template-columns: 1fr;
    gap: 8px;
  }
  .repo-row > a {
    justify-self: start;
  }
  .repo-controls {
    flex-wrap: wrap;
  }
  .repo-controls label {
    flex-basis: 100%;
  }
  .footer-inner {
    align-items: start;
    flex-direction: column;
    gap: 16px;
  }
  .contact-grid {
    grid-template-columns: 1fr;
  }
  .page-header {
    padding: 36px 0 26px;
    margin-bottom: 28px;
  }
  .section-heading {
    align-items: start;
    flex-direction: column;
    gap: 12px;
  }
  .card {
    padding: 24px;
  }
  .project-visual {
    width: calc(100% + 48px);
    margin: -24px -24px 18px;
  }
  .site-nav {
    gap: 8px 20px;
  }
  .site-nav a {
    min-height: 44px;
  }
  .article-navigation {
    flex-direction: column;
  }
  .article-navigation > a {
    max-width: 100%;
  }
}
@media (prefers-reduced-motion: reduce) {
  html {
    scroll-behavior: auto;
  }
  * {
    animation: none !important;
    transition: none !important;
  }
}
@media print {
  .site-header,
  .site-footer,
  .actions,
  .repo-controls {
    display: none;
  }
  body {
    background: white;
    color: black;
  }
  .shell {
    width: 100%;
  }
  .card,
  .timeline-item {
    break-inside: avoid;
  }
}