@charset "UTF-8";
/*******************************************************************************
 * Self-hosted type system (NOTES.md design tokens). No font CDN calls at
 * runtime — every file below is vendored in assets/fonts/ under its own SIL
 * Open Font License (see assets/fonts/LICENSES/).
 ******************************************************************************/
@font-face {
  font-family: "Fraunces";
  src: url("/assets/fonts/fraunces-variable.woff2") format("woff2-variations"), url("/assets/fonts/fraunces-variable.woff2") format("woff2");
  font-weight: 300 800;
  font-style: normal;
  font-display: swap;
}
@font-face {
  font-family: "Fraunces";
  src: url("/assets/fonts/fraunces-italic-variable.woff2") format("woff2-variations"), url("/assets/fonts/fraunces-italic-variable.woff2") format("woff2");
  font-weight: 300 800;
  font-style: italic;
  font-display: swap;
}
@font-face {
  font-family: "Source Sans 3";
  src: url("/assets/fonts/sourcesans3-variable.woff2") format("woff2-variations"), url("/assets/fonts/sourcesans3-variable.woff2") format("woff2");
  font-weight: 200 900;
  font-style: normal;
  font-display: swap;
}
@font-face {
  font-family: "Source Sans 3";
  src: url("/assets/fonts/sourcesans3-italic-variable.woff2") format("woff2-variations"), url("/assets/fonts/sourcesans3-italic-variable.woff2") format("woff2");
  font-weight: 200 900;
  font-style: italic;
  font-display: swap;
}
@font-face {
  font-family: "IBM Plex Mono";
  src: url("/assets/fonts/ibmplexmono-regular.woff2") format("woff2");
  font-weight: 400;
  font-style: normal;
  font-display: swap;
}
@font-face {
  font-family: "IBM Plex Mono";
  src: url("/assets/fonts/ibmplexmono-semibold.woff2") format("woff2");
  font-weight: 600;
  font-style: normal;
  font-display: swap;
}
/*******************************************************************************
 * Variables used throughout the theme.
 * To adjust anything, simply edit the variables below and rebuild the theme.
 ******************************************************************************/
/*******************************************************************************
 * Design tokens (NOTES.md) — the palette that actually drives the site.
 * Tied to the blue/orange "measured vs. identified" contrast already present
 * in the principal's own plots (Agentic-SysID, CorBin-FL), not chosen
 * arbitrarily. See NOTES.md for the full rationale.
 ******************************************************************************/
/*******************************************************************************
 * Themes
 ******************************************************************************/
:root {
  --global-bg-color: #FAF7F0;
  --global-code-bg-color: rgb(92.8156862745%, 91.6862745098%, 89.0352941176%);
  --global-text-color: #1C1B18;
  --global-text-color-light: #6E6858;
  --global-theme-color: #1857A4;
  --global-hover-color: #C4622D;
  --global-footer-bg-color: #1C1B18;
  --global-footer-text-color: rgb(67.568627451%, 66.6666666667%, 64.4705882353%);
  --global-footer-link-color: #FAF7F0;
  --global-distill-app-color: #6E6858;
  --global-divider-color: #DAD4C4;
  --global-card-bg-color: #ffffff;
  --global-ok-color: #3E6B4F;
  --global-dot-color: rgba(28, 27, 24, 0.07);
  --global-signal-color: #1857A4;
  --global-trace-color: #C4622D;
}
:root .fa-sun {
  display: none;
}
:root .fa-moon {
  padding-left: 10px;
  padding-top: 12px;
  display: block;
}
:root .repo-img-light {
  display: block;
}
:root .repo-img-dark {
  display: none;
}

html[data-theme=dark] {
  --global-bg-color: #16181B;
  --global-code-bg-color: rgb(14.0152060824%, 15.2893157263%, 17.2004801921%);
  --global-text-color: #E8E4D9;
  --global-text-color-light: #948E7C;
  --global-theme-color: #4A90D9;
  --global-hover-color: #E08347;
  --global-footer-bg-color: rgb(95.9215686275%, 94.6274509804%, 91.4117647059%);
  --global-footer-text-color: #1C1B18;
  --global-footer-link-color: #1C1B18;
  --global-distill-app-color: #948E7C;
  --global-divider-color: #2B2D31;
  --global-card-bg-color: rgb(12.2192877151%, 13.3301320528%, 14.9963985594%);
  --global-ok-color: #3E6B4F;
  --global-dot-color: rgba(232, 228, 217, 0.05);
  --global-signal-color: #4A90D9;
  --global-trace-color: #E08347;
}
html[data-theme=dark] .fa-sun {
  padding-left: 10px;
  padding-top: 12px;
  display: block;
}
html[data-theme=dark] .fa-moon {
  display: none;
}
html[data-theme=dark] .repo-img-light {
  display: none;
}
html[data-theme=dark] .repo-img-dark {
  display: block;
}

/******************************************************************************
 * Content
 ******************************************************************************/
body {
  padding-bottom: 70px;
  color: var(--global-text-color);
  background-color: var(--global-bg-color);
}
body h1, body h2, body h3, body h4, body h5, body h6 {
  scroll-margin-top: 66px;
}

body.fixed-top-nav {
  padding-top: 56px;
}

body.sticky-bottom-footer {
  padding-bottom: 0;
}

.container {
  max-width: 1040px;
}

.profile img {
  width: 100%;
}

/******************************************************************************
 * Publications
 ******************************************************************************/
/*****************************************************************************
* Projects
*****************************************************************************/
/*******************************************************************************
 * Styles for the base elements of the theme.
 ******************************************************************************/
p,
h1,
h2,
h3,
h4,
h5,
h6,
em,
div,
li,
span,
strong {
  color: var(--global-text-color);
}

body {
  font-family: "Source Sans 3", -apple-system, BlinkMacSystemFont, "Segoe UI", Helvetica, Arial, sans-serif;
}

h1, h2, h3,
.post-title,
.display-heading {
  font-family: "Fraunces", Georgia, "Times New Roman", serif;
  font-optical-sizing: auto;
  font-variation-settings: "SOFT" 30, "WONK" 0;
}

hr {
  border-top: 1px solid var(--global-divider-color);
}

table td,
table th {
  color: var(--global-text-color);
}
table td {
  font-size: 1rem;
}

a,
table.table a {
  color: var(--global-theme-color);
}
a:hover,
table.table a:hover {
  color: var(--global-theme-color);
  text-decoration: underline;
}
a:hover:after :not(.nav-item.dropdown),
table.table a:hover:after :not(.nav-item.dropdown) {
  width: 100%;
}

figure,
img {
  max-width: 90vw;
}

blockquote {
  background: var(--global-bg-color);
  border-left: 2px solid var(--global-theme-color);
  margin: 1.5em 10px;
  padding: 0.5em 10px;
  font-size: 1.2rem;
}

.equation {
  margin-bottom: 1rem;
  text-align: center;
}

.caption {
  font-size: 0.875rem;
  margin-top: 0.75rem;
  margin-bottom: 1.5rem;
  text-align: center;
}

.card {
  background-color: var(--global-card-bg-color);
}
.card img {
  width: 100%;
}
.card .card-title {
  color: var(--global-text-color);
}
.card .card-item {
  width: auto;
  margin-bottom: 10px;
}
.card .card-item .row {
  display: flex;
  align-items: center;
}

.citation,
.citation-number {
  color: var(--global-theme-color);
}

.profile {
  width: 100%;
}
.profile .address {
  margin-bottom: 5px;
  margin-top: 5px;
  font-family: monospace;
}
.profile .address p {
  display: inline-block;
  margin: 0;
}

.profile.float-right {
  margin-left: 1rem;
}

.profile.float-left {
  margin-right: 1rem;
}

@media (min-width: 576px) {
  .profile {
    width: 30%;
  }
  .profile .address p {
    display: block;
  }
}
.post-description {
  margin-bottom: 2rem;
  font-size: 0.875rem;
}
.post-description a {
  color: inherit;
}
.post-description a:hover {
  color: var(--global-theme-color);
  text-decoration: none;
}

.navbar {
  box-shadow: none;
  border-bottom: 1px solid var(--global-divider-color);
  background-color: var(--global-bg-color);
  opacity: 0.95;
}

.navbar .dropdown-menu {
  background-color: var(--global-bg-color);
  border: 1px solid var(--global-divider-color);
}
.navbar .dropdown-menu a:not(.active) {
  color: var(--global-text-color);
}
.navbar .dropdown-menu a:hover {
  color: var(--global-hover-color);
}
.navbar .dropdown-menu .dropdown-divider {
  border-top: 1px solid var(--global-divider-color) !important;
}

.dropdown-item {
  color: var(--global-text-color);
}
.dropdown-item:hover {
  color: var(--global-hover-color);
  background-color: var(--global-bg-color);
}

.navbar.navbar-light a:hover {
  text-decoration: none;
}
.navbar.navbar-light .navbar-brand {
  color: var(--global-text-color);
}
.navbar.navbar-light .navbar-nav .nav-item .nav-link {
  color: var(--global-text-color);
}
.navbar.navbar-light .navbar-nav .nav-item .nav-link:hover {
  color: var(--global-hover-color);
}
.navbar.navbar-light .navbar-nav .nav-item.active > .nav-link {
  background-color: inherit;
  font-weight: bolder;
  color: var(--global-theme-color);
}
.navbar.navbar-light .navbar-nav .nav-item.active > .nav-link:hover {
  color: var(--global-hover-color);
}
.navbar.navbar-light .navbar-brand.social {
  padding-bottom: 0;
  padding-top: 0;
  font-size: 1.7rem;
}
.navbar.navbar-light .navbar-brand.social a i::before {
  color: var(--global-text-color);
  transition-property: all 0.2s ease-in-out;
}
.navbar.navbar-light .navbar-brand.social a:hover i::before {
  color: var(--global-theme-color);
}

.navbar-toggler .icon-bar {
  display: block;
  width: 22px;
  height: 2px;
  background-color: var(--global-text-color);
  border-radius: 1px;
  margin-bottom: 4px;
  transition: all 0.2s;
}
.navbar-toggler .top-bar {
  transform: rotate(45deg);
  transform-origin: 10% 10%;
}
.navbar-toggler .middle-bar {
  opacity: 0;
}
.navbar-toggler .bottom-bar {
  transform: rotate(-45deg);
  transform-origin: 10% 90%;
}

.navbar-toggler.collapsed .top-bar {
  transform: rotate(0);
}
.navbar-toggler.collapsed .middle-bar {
  opacity: 1;
}
.navbar-toggler.collapsed .bottom-bar {
  transform: rotate(0);
}

#light-toggle {
  padding: 0;
  border: 0;
  background-color: inherit;
  color: var(--global-text-color);
}
#light-toggle:hover {
  color: var(--global-hover-color);
}

.social {
  text-align: center;
}
.social .contact-icons {
  font-size: 4rem;
}
.social .contact-icons a i::before {
  color: var(--global-text-color);
  transition-property: all 0.2s ease-in-out;
}
.social .contact-icons a:hover i::before {
  color: var(--global-theme-color);
}
.social .contact-note {
  font-size: 0.8rem;
}

footer.fixed-bottom {
  background-color: var(--global-footer-bg-color);
  font-size: 0.75rem;
}
footer.fixed-bottom .container {
  color: var(--global-footer-text-color);
  padding-top: 9px;
  padding-bottom: 8px;
}
footer.fixed-bottom a {
  color: var(--global-footer-link-color);
}
footer.fixed-bottom a:hover {
  color: var(--global-theme-color);
  text-decoration: none;
}

footer.sticky-bottom {
  border-top: 1px solid var(--global-divider-color);
  padding-top: 40px;
  padding-bottom: 40px;
  font-size: 0.9rem;
}

.cv {
  margin-bottom: 40px;
}
.cv .card {
  background-color: var(--global-card-bg-color);
  border: 1px solid var(--global-divider-color);
}
.cv .card .list-group-item {
  background-color: inherit;
  border-color: var(--global-divider-color);
}
.cv .card .list-group-item .badge {
  color: var(--global-card-bg-color) !important;
  background-color: var(--global-theme-color) !important;
}

@media (min-width: 768px) {
  .repo {
    max-width: 50%;
  }
}
.header-bar {
  border-bottom: 1px solid var(--global-divider-color);
  text-align: center;
  padding-top: 2rem;
  padding-bottom: 3rem;
}
.header-bar h1 {
  color: var(--global-theme-color);
  font-size: 5rem;
}

.tag-list {
  border-bottom: 1px solid var(--global-divider-color);
  text-align: center;
  padding-top: 1rem;
}
.tag-list ul {
  justify-content: center;
  display: flow-root;
}
.tag-list ul p,
.tag-list ul li {
  list-style: none;
  display: inline-block;
  padding: 1rem 0.5rem;
  color: var(--global-text-color-light);
}

.post-list {
  margin: 0;
  margin-bottom: 40px;
  padding: 0;
}
.post-list li {
  border-bottom: 1px solid var(--global-divider-color);
  list-style: none;
  padding-top: 2rem;
  padding-bottom: 2rem;
}
.post-list li .post-meta {
  color: var(--global-text-color-light);
  font-size: 0.875rem;
  margin-bottom: 0;
}
.post-list li .post-tags {
  color: var(--global-text-color-light);
  font-size: 0.875rem;
  padding-top: 0.25rem;
  padding-bottom: 0;
}
.post-list li a {
  color: var(--global-text-color);
  text-decoration: none;
}
.post-list li a:hover {
  color: var(--global-theme-color);
}

.pagination .page-item .page-link {
  color: var(--global-text-color);
}
.pagination .page-item .page-link:hover {
  color: #000000;
}
.pagination .page-item.active .page-link {
  color: #ffffff;
  background-color: var(--global-theme-color);
}
.pagination .page-item.active .page-link:hover {
  background-color: var(--global-theme-color);
}

.distill a:hover {
  border-bottom-color: var(--global-theme-color);
  text-decoration: none;
}

.projects a {
  text-decoration: none;
}
.projects a:hover .card-title {
  color: var(--global-theme-color);
}
.projects .card img {
  width: 100%;
}
.projects .card-item {
  width: auto;
  margin-bottom: 10px;
}
.projects .card-item .row {
  display: flex;
  align-items: center;
}
.projects .grid-sizer,
.projects .grid-item {
  width: 250px;
  margin-bottom: 10px;
}
.projects h2.category {
  color: var(--global-divider-color);
  border-bottom: 1px solid var(--global-divider-color);
  padding-top: 0.5rem;
  margin-top: 2rem;
  margin-bottom: 1rem;
  text-align: right;
}

.publications {
  margin-top: 2rem;
}
.publications h1 {
  color: var(--global-theme-color);
  font-size: 2rem;
  text-align: center;
  margin-top: 1em;
  margin-bottom: 1em;
}
.publications h2 {
  margin-bottom: 1rem;
}
.publications h2 span {
  font-size: 1.5rem;
}
.publications h2.year {
  color: var(--global-divider-color);
  border-top: 1px solid var(--global-divider-color);
  padding-top: 1rem;
  margin-top: 2rem;
  margin-bottom: -2rem;
  text-align: right;
}
.publications ol.bibliography {
  list-style: none;
  padding: 0;
  margin-top: 0;
}
.publications ol.bibliography li {
  margin-bottom: 1rem;
}
.publications ol.bibliography li .preview {
  width: 100%;
  min-width: 80px;
  max-width: 200px;
}
.publications ol.bibliography li .abbr {
  height: 2rem;
  margin-bottom: 0.5rem;
}
.publications ol.bibliography li .abbr abbr {
  display: inline-block;
  background-color: var(--global-theme-color);
  padding-left: 1rem;
  padding-right: 1rem;
}
.publications ol.bibliography li .abbr abbr a {
  color: white;
}
.publications ol.bibliography li .abbr abbr a:hover {
  text-decoration: none;
}
.publications ol.bibliography li .abbr .award {
  color: var(--global-theme-color) !important;
  border: 1px solid var(--global-theme-color);
}
.publications ol.bibliography li .title {
  font-weight: bolder;
}
.publications ol.bibliography li .author a {
  border-bottom: 1px dashed var(--global-theme-color);
}
.publications ol.bibliography li .author a:hover {
  border-bottom-style: solid;
  text-decoration: none;
}
.publications ol.bibliography li .author > em {
  border-bottom: 1px solid;
  font-style: normal;
}
.publications ol.bibliography li .author > span.more-authors {
  color: var(--global-text-color-light);
  border-bottom: 1px dashed var(--global-text-color-light);
  cursor: pointer;
}
.publications ol.bibliography li .author > span.more-authors:hover {
  color: var(--global-text-color);
  border-bottom: 1px dashed var(--global-text-color);
}
.publications ol.bibliography li .links a.btn {
  color: var(--global-text-color);
  border: 1px solid var(--global-text-color);
  padding-left: 1rem;
  padding-right: 1rem;
  padding-top: 0.25rem;
  padding-bottom: 0.25rem;
}
.publications ol.bibliography li .links a.btn:hover {
  color: var(--global-theme-color);
  border-color: var(--global-theme-color);
}
.publications ol.bibliography li .badges span {
  display: inline-block;
  color: #000000;
  height: 100%;
  padding-left: 0.5rem;
  vertical-align: middle;
}
.publications ol.bibliography li .badges span:hover {
  text-decoration: underline;
}
.publications ol.bibliography li .hidden {
  font-size: 0.875rem;
  max-height: 0px;
  overflow: hidden;
  text-align: justify;
  transition-property: 0.15s ease;
  -moz-transition: 0.15s ease;
  -ms-transition: 0.15s ease;
  -o-transition: 0.15s ease;
  transition: all 0.15s ease;
}
.publications ol.bibliography li .hidden p {
  line-height: 1.4em;
  margin: 10px;
}
.publications ol.bibliography li .hidden pre {
  font-size: 1em;
  line-height: 1.4em;
  padding: 10px;
}
.publications ol.bibliography li .hidden.open {
  max-height: 100em;
  transition-property: 0.15s ease;
  -moz-transition: 0.15s ease;
  -ms-transition: 0.15s ease;
  -o-transition: 0.15s ease;
  transition: all 0.15s ease;
}
.publications ol.bibliography li div.abstract.hidden {
  border: dashed 1px var(--global-bg-color);
}
.publications ol.bibliography li div.abstract.hidden.open {
  border-color: var(--global-text-color);
}

figure.highlight {
  margin: 0 0 1rem;
}

pre {
  font-family: "IBM Plex Mono", "DejaVu Sans Mono", "SF Mono", Consolas, monospace;
  color: var(--global-theme-color);
  background-color: var(--global-code-bg-color);
  border-radius: 6px;
  padding: 6px 12px;
}
pre pre,
pre code {
  background-color: transparent;
  border-radius: 0;
  margin-bottom: 0;
  padding: 0;
}

code {
  font-family: "IBM Plex Mono", "DejaVu Sans Mono", "SF Mono", Consolas, monospace;
  color: var(--global-theme-color);
  background-color: var(--global-code-bg-color);
  border-radius: 3px;
  padding: 3px 3px;
}

html.transition,
html.transition *,
html.transition *:before,
html.transition *:after {
  transition: all 750ms !important;
  transition-delay: 0 !important;
}

.post .post-meta {
  color: var(--global-text-color-light);
  font-size: 0.875rem;
  margin-bottom: 0;
}
.post .post-tags {
  color: var(--global-text-color-light);
  font-size: 0.875rem;
  padding-top: 0.25rem;
  padding-bottom: 1rem;
}
.post .post-tags a {
  color: var(--global-text-color-light);
  text-decoration: none;
}
.post .post-tags a:hover {
  color: var(--global-theme-color);
}
.post .post-content blockquote {
  border-left: 5px solid var(--global-theme-color);
  padding: 8px;
}

progress {
  /* Positioning */
  position: fixed;
  left: 0;
  top: 56px;
  z-index: 10;
  /* Dimensions */
  width: 100%;
  height: 1px;
  /* Reset the appearance */
  -webkit-appearance: none;
  -moz-appearance: none;
  appearance: none;
  /* Get rid of the default border in Firefox/Opera. */
  border: none;
  /* Progress bar container for Firefox/IE10  */
  background-color: transparent;
  /* Progress bar value for IE10  */
  color: var(--global-theme-color);
}

progress::-webkit-progress-bar {
  background-color: transparent;
}

progress::-webkit-progress-value {
  background-color: var(--global-theme-color);
}

progress::-moz-progress-bar {
  background-color: var(--global-theme-color);
}

.progress-container {
  width: 100%;
  background-color: transparent;
  position: fixed;
  top: 56px;
  left: 0;
  height: 5px;
  display: block;
}

.progress-bar {
  background-color: var(--global-theme-color);
  width: 0%;
  display: block;
  height: inherit;
}

pre {
  padding: 8px 12px;
  position: relative;
  /* Copy code to clipboard button */
}
pre .copy {
  background: var(--global-card-bg-color);
  border-color: var(--global-bg-color);
  border-radius: 0.3rem;
  border-style: solid;
  color: var(--global-text-color);
  font-size: medium;
  opacity: 0;
  position: absolute;
  right: 0.25rem;
  top: 0.25rem;
}
pre .copy:active, pre .copy:focus, pre .copy:hover {
  color: var(--global-hover-color);
  opacity: 1;
}
pre:active .copy, pre:focus .copy, pre:hover .copy {
  color: var(--global-hover-color);
  opacity: 1;
}

/*******************************************************************************
 * Style overrides for distill blog posts.
 ******************************************************************************/
d-byline {
  border-top-color: var(--global-divider-color) !important;
}

d-byline h3 {
  color: var(--global-text-color) !important;
}

d-byline a, d-article d-byline a {
  color: var(--global-text-color) !important;
}
d-byline a:hover, d-article d-byline a:hover {
  color: var(--global-hover-color) !important;
}

d-article {
  border-top-color: var(--global-divider-color) !important;
}
d-article p, d-article h1, d-article h2, d-article h3, d-article h4, d-article h5, d-article h6, d-article li, d-article table {
  color: var(--global-text-color) !important;
}
d-article h1, d-article h2, d-article hr, d-article table, d-article table th, d-article table td {
  border-bottom-color: var(--global-divider-color) !important;
}
d-article a {
  color: var(--global-theme-color) !important;
}
d-article a:hover {
  color: var(--global-theme-color) !important;
}
d-article b i {
  display: inline;
}
d-article d-contents {
  align-self: start;
  grid-column: 1/4;
  grid-row: auto/span 4;
  justify-self: end;
  margin-top: 0em;
  padding-left: 2em;
  padding-right: 3em;
  border-right: 1px solid var(--global-divider-color);
  width: max(70%, 300px);
  margin-right: 0px;
  margin-top: 0em;
  display: grid;
  grid-template-columns: minmax(8px, 1fr) [toc] auto minmax(8px, 1fr) [toc-line] 1px minmax(32px, 2fr);
}
d-article d-contents nav {
  grid-column: toc;
}
d-article d-contents nav a {
  border-bottom: none !important;
}
d-article d-contents nav a:hover {
  border-bottom: 1px solid var(--global-text-color) !important;
}
d-article d-contents nav h3 {
  margin-top: 0;
  margin-bottom: 1em;
}
d-article d-contents nav div {
  display: block;
  outline: none;
  margin-bottom: 0.8em;
  color: rgba(0, 0, 0, 0.8);
  font-weight: bold;
}
d-article d-contents nav ul {
  padding-left: 1em;
  margin-top: 0;
  margin-bottom: 6px;
  list-style-type: none;
}
d-article d-contents nav ul li {
  margin-bottom: 0.25em;
}
d-article d-contents .figcaption {
  line-height: 1.4em;
}
d-article d-contents toc-line {
  border-right: 1px solid var(--global-divider-color);
  grid-column: toc-line;
}
d-article d-footnote {
  scroll-margin-top: 66px;
}

d-appendix {
  border-top-color: var(--global-divider-color) !important;
  color: var(--global-distill-app-color) !important;
}
d-appendix h3, d-appendix li, d-appendix span {
  color: var(--global-distill-app-color) !important;
}
d-appendix a, d-appendix a.footnote-backlink {
  color: var(--global-distill-app-color) !important;
}
d-appendix a:hover, d-appendix a.footnote-backlink:hover {
  color: var(--global-hover-color) !important;
}

@media (max-width: 1024px) {
  d-article d-contents {
    display: block;
    grid-column-start: 2;
    grid-column-end: -2;
    padding-bottom: 0.5em;
    margin-bottom: 1em;
    padding-top: 0.5em;
    width: 100%;
    border: 1px solid var(--global-divider-color);
  }
  d-article d-contents nav {
    grid-column: none;
  }
}
/*******************************************************************************
 * Instrument-panel motif (NOTES.md layout concept): a faint graph-paper
 * dot-grid across the page, and a thin-rule + mono "channel label" that
 * frames each theme/section like an oscilloscope channel indicator.
 ******************************************************************************/
body {
  background-image: radial-gradient(circle, var(--global-dot-color) 1px, transparent 1px);
  background-size: 24px 24px;
}

.channel-label {
  font-family: "IBM Plex Mono", "DejaVu Sans Mono", "SF Mono", Consolas, monospace;
  display: flex;
  align-items: center;
  gap: 0.75rem;
  font-size: 0.72rem;
  font-weight: 600;
  letter-spacing: 0.08em;
  text-transform: uppercase;
  color: var(--global-text-color-light);
  margin-bottom: 0.6rem;
}
.channel-label::before {
  content: "";
  display: block;
  width: 1.75rem;
  height: 1px;
  background: var(--global-theme-color);
  flex-shrink: 0;
}

.page-toc {
  list-style: none;
  margin: 0.75rem 0 0 0;
  padding: 0;
  display: flex;
  flex-direction: column;
  gap: 0.5rem;
}
.page-toc li {
  line-height: 1.5;
}

.post-description .page-toc a,
.page-toc a {
  color: var(--global-theme-color);
  font-weight: 600;
}
.post-description .page-toc a:hover,
.page-toc a:hover {
  color: var(--global-hover-color);
}

/*******************************************************************************
 * Home page hero — the one signature bold element (AGENT_BRIEF.md §5): the
 * real Agentic-SysID pendulum, actual vs. identified, as a two-channel
 * readout in the signal/trace accent pair. Everything else on the site stays
 * quiet; this is where the boldness is spent.
 ******************************************************************************/
.hero-readout {
  margin: 1.75rem 0 2.5rem 0;
  max-width: 340px;
}

.hero-readout-frame {
  position: relative;
  aspect-ratio: 1400/1300;
  border-radius: 8px;
  overflow: hidden;
  border: 1px solid var(--global-divider-color);
  background: var(--global-code-bg-color);
}

.hero-readout-media {
  display: block;
  width: 100%;
  height: 100%;
  object-fit: cover;
}

.hero-readout-toggle {
  font-family: "IBM Plex Mono", "DejaVu Sans Mono", "SF Mono", Consolas, monospace;
  position: absolute;
  right: 0.6rem;
  bottom: 0.6rem;
  width: 2rem;
  height: 2rem;
  display: flex;
  align-items: center;
  justify-content: center;
  border-radius: 50%;
  border: 1px solid rgba(255, 255, 255, 0.35);
  background: rgba(0, 0, 0, 0.45);
  color: #fff;
  font-size: 0.65rem;
  cursor: pointer;
  transition: background-color 0.15s ease;
}
.hero-readout-toggle:hover, .hero-readout-toggle:focus-visible {
  background: rgba(0, 0, 0, 0.65);
}

.hero-readout-caption {
  font-family: "IBM Plex Mono", "DejaVu Sans Mono", "SF Mono", Consolas, monospace;
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 1.1rem;
  margin-top: 0.65rem;
  font-size: 0.72rem;
  letter-spacing: 0.03em;
}

.hero-channel {
  display: inline-flex;
  align-items: center;
  gap: 0.4rem;
  text-transform: uppercase;
  color: var(--global-text-color-light);
}
.hero-channel::before {
  content: "";
  width: 0.55rem;
  height: 0.55rem;
  border-radius: 50%;
  flex-shrink: 0;
}

.hero-channel-signal::before {
  background: var(--global-signal-color);
}

.hero-channel-trace::before {
  background: var(--global-trace-color);
}

.hero-readout-note {
  color: var(--global-text-color-light);
  margin-left: auto;
}
.hero-readout-note a {
  color: var(--global-theme-color);
}

@media (prefers-reduced-motion: reduce) {
  .hero-readout-toggle {
    display: none;
  }
}
/*******************************************************************************
 * Home page body content: the work-authorization callout, the CV/email
 * buttons, and the three-card system preview grid below the hero.
 ******************************************************************************/
.home-authorization {
  display: inline-block;
  border: 1px solid var(--global-divider-color);
  border-radius: 6px;
  background: var(--global-code-bg-color);
  padding: 0.6rem 1rem;
  margin: 0 0 1.5rem 0;
  font-size: 0.85rem;
  line-height: 1.5;
  color: var(--global-text-color-light);
}

.home-cta {
  display: flex;
  flex-wrap: nowrap;
  gap: 0.5rem;
  margin-top: 1rem;
}

.home-cta-btn {
  display: inline-block;
  white-space: nowrap;
  padding: 0.45rem 0.9rem;
  border-radius: 4px;
  border: 1px solid var(--global-theme-color);
  font-weight: 600;
  font-size: 0.82rem;
  color: var(--global-theme-color);
  background: transparent;
  transition: background-color 0.15s ease, color 0.15s ease;
}
.home-cta-btn:hover {
  background: var(--global-theme-color);
  color: var(--global-bg-color);
  text-decoration: none;
}

.home-cta-btn--primary {
  background: var(--global-theme-color);
  color: var(--global-bg-color);
}
.home-cta-btn--primary:hover {
  background: var(--global-hover-color);
  border-color: var(--global-hover-color);
  color: var(--global-bg-color);
}

.home-systems-grid {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  gap: 1.75rem;
  margin: 1.75rem 0 2.5rem 0;
}
@media (max-width: 900px) {
  .home-systems-grid {
    grid-template-columns: 1fr;
  }
}

.home-system-card {
  display: flex;
  flex-direction: column;
  gap: 0.5rem;
}
.home-system-card img {
  width: 100%;
  height: 150px;
  object-fit: cover;
  border-radius: 6px;
  border: 1px solid var(--global-divider-color);
}
.home-system-card h3 {
  font-size: 1.05rem;
  margin: 0.25rem 0 0 0;
}
.home-system-card p {
  font-size: 0.9rem;
  color: var(--global-text-color-light);
  margin: 0;
  line-height: 1.5;
}

.home-system-links {
  font-size: 0.85rem;
  display: flex;
  gap: 1rem;
}
.home-system-links a {
  color: var(--global-theme-color);
}

.home-showcase {
  display: grid;
  grid-template-columns: 3fr 2fr;
  gap: 2.5rem;
  align-items: start;
  margin: 1.75rem 0 2.5rem 0;
}
@media (max-width: 900px) {
  .home-showcase {
    grid-template-columns: 1fr;
    gap: 2rem;
  }
}

.home-showcase-video .hero-readout {
  margin-top: 0.75rem;
}

/*******************************************************************************
 * Systems page — Problem/Approach/Result/Artifact cards (AGENT_BRIEF.md §6.2).
 * Deliberately not a card-grid-of-icons: two-column proof format (prose left,
 * figures in a sticky right rail), per the NOTES.md layout concept.
 ******************************************************************************/
.systems-list {
  display: flex;
  flex-direction: column;
  gap: 3.5rem;
}

.system-card {
  padding-bottom: 3rem;
  border-bottom: 1px solid var(--global-divider-color);
}
.system-card:last-child {
  border-bottom: none;
  padding-bottom: 0;
}

.system-card-header {
  margin-bottom: 1.25rem;
}
.system-card-header h3 {
  margin: 0 0 0.15rem 0;
}

.system-tagline {
  color: var(--global-text-color-light);
  margin: 0;
  font-style: italic;
}

.system-card-body {
  display: grid;
  grid-template-columns: 1.2fr 1fr;
  gap: 2.5rem;
  align-items: start;
}
@media (max-width: 767px) {
  .system-card-body {
    grid-template-columns: 1fr;
  }
}

.system-card-figures {
  display: flex;
  flex-direction: column;
  gap: 1.5rem;
  position: sticky;
  top: 5.5rem;
}
@media (max-width: 767px) {
  .system-card-figures {
    position: static;
  }
}

.system-figure {
  margin: 0;
}
.system-figure img {
  width: 100%;
  height: auto;
  border-radius: 6px;
  border: 1px solid var(--global-divider-color);
}
.system-figure figcaption {
  font-size: 0.85rem;
  color: var(--global-text-color-light);
  margin-top: 0.5rem;
  line-height: 1.5;
}

.system-par {
  margin: 0 0 1.5rem 0;
}
.system-par dt {
  font-weight: 700;
  text-transform: uppercase;
  font-size: 0.75rem;
  letter-spacing: 0.06em;
  color: var(--global-theme-color);
  margin-top: 1rem;
}
.system-par dt:first-child {
  margin-top: 0;
}
.system-par dd {
  margin: 0.3rem 0 0 0;
  line-height: 1.6;
}

.system-table-wrap {
  overflow-x: auto;
  margin-bottom: 1.5rem;
}

.system-table-caption {
  font-size: 0.85rem;
  color: var(--global-text-color-light);
  margin-bottom: 0.5rem;
}

.system-table {
  width: 100%;
  border-collapse: collapse;
  font-size: 0.9rem;
}
.system-table th, .system-table td {
  text-align: left;
  padding: 0.4rem 0.75rem 0.4rem 0;
  border-bottom: 1px solid var(--global-divider-color);
  white-space: nowrap;
}
.system-table th {
  font-weight: 700;
  color: var(--global-text-color-light);
  font-size: 0.78rem;
  text-transform: uppercase;
  letter-spacing: 0.04em;
}

.system-artifact-links {
  font-size: 0.9rem;
}
.system-artifact-links .system-artifact-label {
  font-weight: 700;
  text-transform: uppercase;
  font-size: 0.75rem;
  letter-spacing: 0.06em;
  color: var(--global-text-color-light);
  margin-right: 0.75rem;
}
.system-artifact-links a {
  color: var(--global-theme-color);
}

/*******************************************************************************
 * Research page — four theme sections (AGENT_BRIEF.md §6.2).
 ******************************************************************************/
.research-themes {
  display: flex;
  flex-direction: column;
  gap: 3rem;
}

.research-theme {
  padding-bottom: 2.5rem;
  border-bottom: 1px solid var(--global-divider-color);
}
.research-theme:last-child {
  border-bottom: none;
  padding-bottom: 0;
}
.research-theme h2 {
  margin-top: 0;
  margin-bottom: 1.5rem;
}
.research-theme p {
  line-height: 1.65;
}

.research-theme-body {
  display: grid;
  grid-template-columns: 1.3fr 1fr;
  gap: 2.5rem;
  align-items: start;
}
@media (max-width: 767px) {
  .research-theme-body {
    grid-template-columns: 1fr;
  }
}

.research-theme-figure {
  margin: 0;
  position: sticky;
  top: 5.5rem;
}
@media (max-width: 767px) {
  .research-theme-figure {
    position: static;
  }
}
.research-theme-figure img {
  width: 100%;
  height: auto;
  border-radius: 6px;
  border: 1px solid var(--global-divider-color);
}
.research-theme-figure figcaption {
  font-size: 0.82rem;
  color: var(--global-text-color-light);
  margin-top: 0.5rem;
  line-height: 1.5;
}

.venue-badge {
  font-family: "IBM Plex Mono", "DejaVu Sans Mono", "SF Mono", Consolas, monospace;
  display: inline-block;
  font-size: 0.72rem;
  font-weight: 600;
  text-transform: uppercase;
  letter-spacing: 0.04em;
  color: var(--global-theme-color);
  border: 1px solid var(--global-theme-color);
  border-radius: 3px;
  padding: 0.1rem 0.4rem;
  margin-right: 0.5rem;
  white-space: nowrap;
}

.theme-papers {
  list-style: none;
  padding: 0;
  margin: 1.25rem 0;
}
.theme-papers li {
  margin-bottom: 0.6rem;
  line-height: 1.5;
}

.theme-system-link {
  font-size: 0.9rem;
  color: var(--global-text-color-light);
  margin-top: 1rem;
}
.theme-system-link a {
  color: var(--global-theme-color);
}

/*******************************************************************************
 * Demos page (AGENT_BRIEF.md §6.3). Demo 1: CorBin-FL privacy/accuracy
 * explorer, hand-rolled SVG, no chart library.
 ******************************************************************************/
.demo-block {
  margin-top: 1rem;
}

.demo-intro {
  max-width: 680px;
  color: var(--global-text-color-light);
  line-height: 1.6;
}

.demo-source-note {
  font-size: 0.82rem;
  color: var(--global-text-color-light);
  max-width: 680px;
  margin-top: 1rem;
}
.demo-source-note code {
  font-size: 0.78rem;
}

.corbin-explorer {
  border: 1px solid var(--global-divider-color);
  border-radius: 8px;
  padding: 1.25rem 1.25rem 1rem 1.25rem;
  background: var(--global-code-bg-color);
  max-width: 800px;
}

.corbin-tabs {
  display: flex;
  gap: 0.5rem;
  margin-bottom: 1rem;
}

.corbin-tab {
  font-family: "IBM Plex Mono", "DejaVu Sans Mono", "SF Mono", Consolas, monospace;
  font-size: 0.75rem;
  text-transform: uppercase;
  letter-spacing: 0.04em;
  padding: 0.35rem 0.85rem;
  border-radius: 999px;
  border: 1px solid var(--global-divider-color);
  background: transparent;
  color: var(--global-text-color-light);
  cursor: pointer;
}
.corbin-tab.active {
  color: var(--global-bg-color);
  background: var(--global-signal-color);
  border-color: var(--global-signal-color);
}
.corbin-tab:hover:not(.active) {
  border-color: var(--global-signal-color);
  color: var(--global-signal-color);
}

.corbin-chart-holder {
  position: relative;
}

.corbin-chart {
  width: 100%;
  height: auto;
  display: block;
}

.corbin-axis-label {
  font-family: "IBM Plex Mono", "DejaVu Sans Mono", "SF Mono", Consolas, monospace;
  font-size: 10px;
  fill: var(--global-text-color-light);
}

.corbin-axis-title {
  font-family: "IBM Plex Mono", "DejaVu Sans Mono", "SF Mono", Consolas, monospace;
  font-size: 10.5px;
  fill: var(--global-text-color-light);
  letter-spacing: 0.03em;
}

.corbin-gridline {
  stroke: var(--global-divider-color);
  stroke-width: 1;
}

.corbin-series {
  transition: opacity 0.15s ease;
}

.corbin-series.corbin-hidden {
  display: none;
}

.corbin-line {
  fill: none;
  stroke-width: 1.75;
}

.corbin-line-hero {
  stroke-width: 3;
}

.corbin-line-flat {
  stroke-dasharray: 5 4;
  stroke-width: 1.5;
}

.corbin-series-hero .corbin-line,
.corbin-series-hero .corbin-marker-shape {
  stroke: var(--global-signal-color);
  fill: var(--global-signal-color);
}

.corbin-series-baseline .corbin-line,
.corbin-series-baseline .corbin-marker-shape {
  stroke: var(--global-trace-color);
  fill: var(--global-trace-color);
  opacity: 0.75;
}

.corbin-series-flat .corbin-line,
.corbin-series-flat .corbin-marker-shape {
  stroke: var(--global-text-color-light);
  fill: var(--global-text-color-light);
}

.corbin-marker-shape {
  stroke-width: 1.5;
}

.corbin-tooltip {
  position: absolute;
  pointer-events: none;
  background: var(--global-footer-bg-color);
  color: var(--global-footer-text-color);
  border-radius: 6px;
  padding: 0.55rem 0.7rem;
  font-size: 0.78rem;
  line-height: 1.45;
  max-width: 200px;
  opacity: 0;
  transition: opacity 0.1s ease;
  z-index: 5;
}

.corbin-tooltip.visible {
  opacity: 1;
}

.corbin-tooltip-source {
  color: var(--global-text-color-light);
  font-size: 0.7rem;
}

.corbin-legend {
  list-style: none;
  padding: 0;
  margin: 1rem 0 0 0;
  display: flex;
  flex-wrap: wrap;
  gap: 0.6rem 1.1rem;
}

.corbin-legend-item {
  font-family: "IBM Plex Mono", "DejaVu Sans Mono", "SF Mono", Consolas, monospace;
  display: flex;
  align-items: center;
  gap: 0.4rem;
  font-size: 0.72rem;
  color: var(--global-text-color);
  cursor: pointer;
  user-select: none;
}
.corbin-legend-item.hidden {
  opacity: 0.35;
}
.corbin-legend-item.hero {
  font-weight: 600;
}

.corbin-legend-swatch {
  width: 16px;
  height: 16px;
  flex-shrink: 0;
}

.corbin-error {
  color: var(--global-text-color-light);
  font-style: italic;
}

.demo-subsection {
  margin-top: 3rem;
  padding-top: 2rem;
  border-top: 1px solid var(--global-divider-color);
}
.demo-subsection h3 {
  margin-top: 0;
}

.demo-figure {
  margin: 1.5rem 0;
  max-width: 800px;
}
.demo-figure img {
  width: 100%;
  height: auto;
  border-radius: 6px;
  border: 1px solid var(--global-divider-color);
}
.demo-figure figcaption {
  font-size: 0.82rem;
  color: var(--global-text-color-light);
  margin-top: 0.5rem;
}

/*******************************************************************************
 * Demo 2: MNIST saliency
 ******************************************************************************/
.saliency-app {
  border: 1px solid var(--global-divider-color);
  border-radius: 8px;
  padding: 1.25rem;
  background: var(--global-code-bg-color);
  max-width: 800px;
}

.saliency-draw-section {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 1.5rem;
  margin-bottom: 1.5rem;
}

.saliency-draw-wrap {
  flex-shrink: 0;
}

.saliency-draw-canvas {
  width: 200px;
  height: 200px;
  border-radius: 6px;
  border: 1px solid var(--global-divider-color);
  cursor: crosshair;
  touch-action: none;
  display: block;
}

.saliency-controls {
  display: flex;
  flex-direction: column;
  gap: 0.75rem;
  align-items: flex-start;
}

.saliency-frame-toggle {
  font-family: "IBM Plex Mono", "DejaVu Sans Mono", "SF Mono", Consolas, monospace;
  font-size: 0.78rem;
  color: var(--global-text-color-light);
  display: flex;
  align-items: center;
  gap: 0.5rem;
  cursor: pointer;
  max-width: 320px;
  line-height: 1.4;
}
.saliency-frame-toggle input {
  flex-shrink: 0;
  margin-top: 0.15rem;
}

.saliency-panels {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 1.5rem;
}
@media (max-width: 620px) {
  .saliency-panels {
    grid-template-columns: 1fr;
  }
}

.saliency-panel-title {
  font-family: "IBM Plex Mono", "DejaVu Sans Mono", "SF Mono", Consolas, monospace;
  font-size: 0.72rem;
  text-transform: uppercase;
  letter-spacing: 0.03em;
  color: var(--global-text-color-light);
  margin-bottom: 0.6rem;
}

.saliency-canvas-wrap {
  position: relative;
  width: 168px;
  height: 168px;
  margin-bottom: 0.75rem;
}

.saliency-digit-canvas,
.saliency-heat-canvas {
  position: absolute;
  top: 0;
  left: 0;
  width: 168px;
  height: 168px;
  border-radius: 6px;
}

.saliency-digit-canvas {
  border: 1px solid var(--global-divider-color);
}

.saliency-prediction {
  font-size: 0.95rem;
  margin: 0 0 0.6rem 0;
}
.saliency-prediction strong {
  color: var(--global-signal-color);
  font-size: 1.15rem;
}

.saliency-bars {
  display: flex;
  flex-direction: column;
  gap: 0.2rem;
}

.saliency-bar-row {
  display: grid;
  grid-template-columns: 1rem 1fr 3rem;
  align-items: center;
  gap: 0.5rem;
  font-size: 0.72rem;
}
.saliency-bar-row.top .saliency-bar-fill {
  background: var(--global-signal-color);
}

.saliency-bar-label {
  font-family: "IBM Plex Mono", "DejaVu Sans Mono", "SF Mono", Consolas, monospace;
  color: var(--global-text-color-light);
  text-align: right;
}

.saliency-bar-track {
  height: 6px;
  border-radius: 3px;
  background: var(--global-divider-color);
  overflow: hidden;
}

.saliency-bar-fill {
  height: 100%;
  background: var(--global-trace-color);
  opacity: 0.75;
}

.saliency-bar-pct {
  font-family: "IBM Plex Mono", "DejaVu Sans Mono", "SF Mono", Consolas, monospace;
  color: var(--global-text-color-light);
  font-size: 0.68rem;
}

.saliency-status {
  font-family: "IBM Plex Mono", "DejaVu Sans Mono", "SF Mono", Consolas, monospace;
  font-size: 0.78rem;
  color: var(--global-text-color-light);
  margin-top: 1rem;
}

/*******************************************************************************
 * Demo 3: multi-agent debate replay stepper
 ******************************************************************************/
.game-replay {
  border: 1px solid var(--global-divider-color);
  border-radius: 8px;
  padding: 1.25rem;
  background: var(--global-code-bg-color);
  max-width: 800px;
}

.replay-meta {
  font-family: "IBM Plex Mono", "DejaVu Sans Mono", "SF Mono", Consolas, monospace;
  font-size: 0.78rem;
  color: var(--global-text-color-light);
  margin-bottom: 1rem;
}
.replay-meta .replay-meta-sep {
  margin: 0 0.5rem;
}

.replay-pills {
  display: flex;
  flex-wrap: wrap;
  gap: 0.4rem;
  margin-bottom: 1.25rem;
}

.replay-pill {
  font-family: "IBM Plex Mono", "DejaVu Sans Mono", "SF Mono", Consolas, monospace;
  width: 1.9rem;
  height: 1.9rem;
  border-radius: 50%;
  border: 1px solid var(--global-divider-color);
  background: transparent;
  color: var(--global-text-color-light);
  font-size: 0.72rem;
  cursor: pointer;
}
.replay-pill:hover {
  border-color: var(--global-signal-color);
  color: var(--global-signal-color);
}
.replay-pill.active {
  background: var(--global-signal-color);
  border-color: var(--global-signal-color);
  color: var(--global-bg-color);
}

.replay-panel {
  border-top: 1px solid var(--global-divider-color);
  padding-top: 1.25rem;
  min-height: 200px;
}

.replay-panel-header {
  margin-bottom: 1rem;
}
.replay-panel-header h3 {
  margin: 0.25rem 0 0 0;
}

.replay-prose {
  line-height: 1.65;
  max-width: 68ch;
}
.replay-prose h3, .replay-prose h4, .replay-prose h5, .replay-prose h6 {
  margin: 1.25rem 0 0.5rem 0;
  font-size: 1rem;
}
.replay-prose p {
  margin: 0 0 0.85rem 0;
}
.replay-prose ul {
  margin: 0 0 0.85rem 0;
  padding-left: 1.25rem;
}
.replay-prose li {
  margin-bottom: 0.3rem;
}
.replay-prose hr {
  border: none;
  border-top: 1px solid var(--global-divider-color);
  margin: 1.25rem 0;
}
.replay-prose strong {
  color: var(--global-text-color);
}

.replay-debate-cols {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 2rem;
}
@media (max-width: 620px) {
  .replay-debate-cols {
    grid-template-columns: 1fr;
    gap: 1.5rem;
  }
}

.replay-debate-col-label {
  font-family: "IBM Plex Mono", "DejaVu Sans Mono", "SF Mono", Consolas, monospace;
  font-size: 0.75rem;
  text-transform: uppercase;
  letter-spacing: 0.03em;
  color: var(--global-trace-color);
  margin: 0 0 0.75rem 0;
}
.replay-debate-col:first-child .replay-debate-col-label {
  color: var(--global-signal-color);
}

.replay-judge-meta {
  display: flex;
  flex-wrap: wrap;
  gap: 0.5rem;
  margin-bottom: 1.25rem;
}

.replay-badge {
  font-family: "IBM Plex Mono", "DejaVu Sans Mono", "SF Mono", Consolas, monospace;
  display: inline-block;
  font-size: 0.72rem;
  font-weight: 600;
  padding: 0.25rem 0.6rem;
  border-radius: 999px;
  border: 1px solid var(--global-theme-color);
  color: var(--global-theme-color);
}

.replay-badge-hero {
  background: var(--global-signal-color);
  border-color: var(--global-signal-color);
  color: var(--global-bg-color);
}

.replay-badge-muted {
  border-color: var(--global-divider-color);
  color: var(--global-text-color-light);
}

.replay-badge-outcome-correct {
  border-color: var(--global-ok-color);
  color: var(--global-ok-color);
}

.replay-badge-outcome-incorrect {
  border-color: var(--global-trace-color);
  color: var(--global-trace-color);
}

.replay-outcome-card {
  margin-bottom: 1.25rem;
}

.replay-score {
  font-family: "Fraunces", Georgia, "Times New Roman", serif;
  font-optical-sizing: auto;
  font-variation-settings: "SOFT" 30, "WONK" 0;
  display: flex;
  align-items: baseline;
  gap: 0.75rem;
  font-size: 1.6rem;
  font-weight: 600;
  margin-bottom: 0.6rem;
}

.replay-score-sep {
  color: var(--global-text-color-light);
  font-size: 1.1rem;
}

.replay-verdict {
  font-family: "IBM Plex Mono", "DejaVu Sans Mono", "SF Mono", Consolas, monospace;
  font-size: 0.82rem;
  padding: 0.5rem 0.75rem;
  border-radius: 6px;
  border: 1px solid var(--global-divider-color);
}
.replay-verdict.correct {
  color: var(--global-ok-color);
  border-color: var(--global-ok-color);
}
.replay-verdict.incorrect {
  color: var(--global-trace-color);
  border-color: var(--global-trace-color);
}

.replay-lessons {
  display: flex;
  flex-direction: column;
  gap: 0.6rem;
}

.replay-lesson {
  border: 1px solid var(--global-divider-color);
  border-radius: 6px;
  padding: 0.6rem 0.85rem;
}
.replay-lesson .replay-prose {
  margin-top: 0.85rem;
}

.replay-lesson-summary {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 1rem;
  cursor: pointer;
  font-weight: 600;
  list-style: none;
}
.replay-lesson-summary::-webkit-details-marker {
  display: none;
}

.replay-nav {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 1rem;
  margin-top: 1.5rem;
  padding-top: 1rem;
  border-top: 1px solid var(--global-divider-color);
}
.replay-nav button:disabled {
  opacity: 0.35;
  cursor: not-allowed;
}

.replay-step-count {
  font-family: "IBM Plex Mono", "DejaVu Sans Mono", "SF Mono", Consolas, monospace;
  font-size: 0.78rem;
  color: var(--global-text-color-light);
}

/*******************************************************************************
 * Publications page group headings (Journal / Conference / Under Review &
 * Preprints). The base theme's `h2.year` is built for a terse 4-digit year
 * label pulled up over the entry below it with a negative margin -- fine for
 * "2026", but a longer label like "Under Review & Preprints" then overlaps
 * the first entry's own title/author text. Own class, normal flow spacing.
 ******************************************************************************/
.publications h2.pub-group {
  color: var(--global-text-color-light);
  border-top: 1px solid var(--global-divider-color);
  padding-top: 1rem;
  margin-top: 2.5rem;
  margin-bottom: 1.25rem;
  text-align: left;
  font-size: 1.1rem;
  text-transform: uppercase;
  letter-spacing: 0.03em;
}
.publications h2.pub-group:first-child {
  margin-top: 0;
}

/*# sourceMappingURL=main.css.map */