:root {
  color-scheme: dark;
  --bg: #0d1117;
  --panel: #121923;
  --text: #e7edf0;
  --muted: #a0abb8;
  --pink: #f05bdc;
  --cyan: #39c8e0;
  --line: #29323e;
  --display: 'Iceberg', sans-serif;
  --body: 'Arvo', Georgia, serif;
}
* {
  box-sizing: border-box;
}
html {
  scroll-behavior: smooth;
  scroll-padding-top: 2rem;
}
body {
  margin: 0;
  background: var(--bg);
  color: var(--text);
  font: 16px/1.85 var(--body);
}
a {
  color: var(--cyan);
  text-decoration-thickness: 1px;
  text-underline-offset: 0.25em;
}
a:hover {
  color: var(--pink);
}
button,
input {
  font: inherit;
}
a:focus-visible,
summary:focus-visible,
input:focus-visible {
  outline: 2px solid var(--pink);
  outline-offset: 5px;
}
h1,
h2,
h3,
h4 {
  line-height: 1.25;
  font-weight: 400;
  margin: 0 0 1rem;
}
h1 {
  font-size: clamp(2.4rem, 5vw, 4.6rem);
  letter-spacing: -0.045em;
}
h2 {
  font-size: 1.55rem;
}
h3 {
  font-size: 1.22rem;
}
h4 {
  font-size: 1rem;
  color: var(--pink);
}
p {
  margin: 0 0 1.2rem;
}
img,
video {
  max-width: 100%;
  height: auto;
}
svg {
  display: block;
  max-width: 100%;
}
section {
  min-width: 0;
}
::selection {
  background: #6a285f;
  color: #fff;
}
.muted {
  color: var(--muted);
}
.small {
  font: 0.8rem/1.7 var(--body);
}
.eyebrow {
  font:
    0.68rem/1.6 system-ui,
    sans-serif;
  text-transform: uppercase;
  letter-spacing: 0.15em;
  color: var(--muted);
}
.skip-link {
  position: absolute;
  top: -100px;
  left: 1rem;
  z-index: 10;
  background: var(--panel);
  padding: 1rem;
}
.skip-link:focus {
  top: 1rem;
}
.site-shell {
  max-width: 1450px;
  margin: auto;
  padding: 52px 44px 0;
  display: grid;
  grid-template-columns: 245px minmax(0, 1fr);
  gap: 70px;
}
.sidebar {
  position: sticky;
  top: 40px;
  align-self: start;
  max-height: calc(100vh - 65px);
  overflow-y: auto;
  padding: 0 10px 8px 0;
}
.wordmark {
  font: 2.65rem/1.05 var(--display);
  color: var(--pink);
  text-shadow: 1px 1px #157e93;
  text-decoration: none;
  display: block;
  max-width: 220px;
}
.site-caption {
  font: 0.75rem/1.8 var(--body);
  color: var(--muted);
  margin: 18px 0 30px;
}
.site-nav {
  display: grid;
  gap: 3px;
  margin-bottom: 26px;
}
.site-nav a {
  display: flex;
  gap: 15px;
  padding: 7px 11px;
  text-decoration: none;
  color: var(--muted);
  font-size: 0.85rem;
  border-left: 2px solid transparent;
}
.site-nav a span {
  color: var(--cyan);
  width: 18px;
  text-align: center;
}
.site-nav a[aria-current],
.site-nav a:hover {
  background: var(--panel);
  border-color: var(--pink);
  color: var(--text);
}
.button {
  display: inline-flex;
  justify-content: center;
  align-items: center;
  gap: 10px;
  border: 1px solid var(--cyan);
  padding: 10px 16px;
  border-radius: 4px;
  color: var(--cyan);
  text-decoration: none;
  font-size: 0.85rem;
  background: transparent;
}
.button:hover {
  background: #14232c;
  border-color: var(--pink);
}
.time-machine {
  width: 100%;
}
.time-hint {
  margin: 9px 0 32px;
}
.sidebar-note {
  border-left: 2px solid var(--pink);
  padding: 10px 13px;
  font-size: 0.76rem;
  color: var(--muted);
}
.sidebar-note span {
  color: var(--pink);
}
.sidebar-links {
  display: flex;
  gap: 18px;
  margin-top: 22px;
  font:
    0.72rem system-ui,
    sans-serif;
}
.sidebar-links a {
  color: var(--muted);
}
.main-content {
  min-width: 0;
  padding-bottom: 60px;
}
.main-content:focus {
  outline: none;
}
.page-intro {
  margin-bottom: 45px;
}
.page-intro .eyebrow {
  color: var(--cyan);
  margin-bottom: 20px;
}
.page-intro h1 {
  color: var(--text);
}
.home-intro h1 {
  max-width: 650px;
}
.home-intro h1 em {
  color: var(--pink);
  font-style: italic;
}
.lead {
  max-width: 620px;
  color: var(--muted);
  font-size: 1rem;
  margin-bottom: 0;
}
.home-grid {
  display: grid;
  grid-template-columns: minmax(0, 1fr) 270px;
  gap: 38px;
}
.section-heading {
  display: flex;
  gap: 16px;
  justify-content: space-between;
  align-items: baseline;
  margin-bottom: 20px;
}
.section-heading h2 {
  margin: 0;
}
.section-heading a {
  white-space: nowrap;
}
.journal-list > .section-heading {
  padding-bottom: 18px;
  border-bottom: 1px solid var(--line);
}
.post-preview {
  padding: 5px 0 25px;
  margin-bottom: 22px;
  border-bottom: 1px solid var(--line);
}
.post-preview h3 {
  margin: 6px 0 11px;
  font-size: 1.4rem;
}
.post-preview h3 a {
  text-decoration: none;
  color: var(--text);
}
.post-preview h3 a:hover {
  color: var(--cyan);
}
.post-preview p {
  color: var(--muted);
  font-size: 0.86rem;
  line-height: 1.85;
  margin-bottom: 8px;
}
.text-link {
  font-size: 0.85rem;
}
.home-corner {
  display: flex;
  flex-direction: column;
  gap: 22px;
}
.panel {
  background: var(--panel);
  border: 1px solid var(--line);
  border-radius: 7px;
  padding: 25px;
}
.panel h2 {
  font-size: 1.4rem;
}
.currently .section-heading {
  margin-bottom: 8px;
}
.status-dot {
  width: 6px;
  height: 6px;
  border-radius: 100%;
  background: var(--cyan);
  box-shadow: 0 0 10px #39c8e040;
  flex-shrink: 0;
}
.currently dl {
  margin: 22px 0 0;
}
.currently dl div + div {
  border-top: 1px solid var(--line);
  margin-top: 14px;
  padding-top: 14px;
}
.currently dt {
  font:
    0.67rem system-ui,
    sans-serif;
  letter-spacing: 0.1em;
  text-transform: uppercase;
  color: var(--pink);
  margin-bottom: 6px;
}
.currently dd {
  font-size: 0.78rem;
  margin: 0;
  line-height: 1.75;
}
.trail-teaser p:not(.eyebrow),
.experiment-teaser p:not(.eyebrow) {
  font-size: 0.8rem;
  color: var(--muted);
}
.trail-teaser a,
.experiment-teaser a {
  font-size: 0.8rem;
}
.wave-mark {
  display: block;
  color: var(--cyan);
  font: 3rem/1.2 var(--display);
  letter-spacing: 0.18em;
  margin-bottom: 16px;
}
.site-footer {
  border-top: 1px solid var(--line);
  max-width: 1362px;
  margin: 20px auto 0;
  padding: 22px 35px;
  color: var(--muted);
  font-size: 0.7rem;
}
.site-footer span {
  float: right;
  color: var(--pink);
}
.journal-post {
  max-width: 760px;
}
.post-header {
  border-bottom: 1px solid var(--line);
  padding-bottom: 30px;
  margin-bottom: 36px;
}
.post-header h1 {
  font-size: clamp(2.1rem, 4vw, 3.5rem);
  color: var(--pink);
  overflow-wrap: anywhere;
}
.post-meta {
  color: var(--muted);
  font-size: 0.78rem;
}
.post-meta span {
  margin: 0 10px;
}
.prose {
  overflow-wrap: anywhere;
  line-height: 1.95;
}
.prose p {
  margin-bottom: 1.6rem;
}
.prose h1,
.prose h2,
.prose h3 {
  font-size: 1.5rem;
  color: var(--pink);
  margin: 2rem 0 1rem;
}
.prose ul,
.prose ol {
  padding-left: 1.5rem;
}
.prose blockquote {
  margin: 1.5rem 0;
  border-left: 2px solid var(--pink);
  padding: 0 0 0 20px;
  color: var(--muted);
}
.prose hr {
  border: 0;
  border-top: 1px solid var(--line);
  margin: 2.5rem 0;
}
.prose pre {
  overflow: auto;
  background: var(--panel);
  border: 1px solid var(--line);
  padding: 20px;
  border-radius: 5px;
  font:
    0.8rem/1.75 ui-monospace,
    monospace;
}
.prose code {
  font-family: ui-monospace, monospace;
  color: var(--cyan);
}
.prose table {
  display: block;
  overflow: auto;
  border-collapse: collapse;
}
.prose th,
.prose td {
  padding: 8px;
  border: 1px solid var(--line);
}
.reflections {
  margin-top: 55px;
  border-top: 1px solid var(--pink);
  padding-top: 22px;
}
.reflections .section-heading {
  flex-wrap: wrap;
}
.reflections > p {
  font-size: 0.85rem;
}
.reflection {
  background: var(--panel);
  padding: 24px;
  border-radius: 6px;
  margin: 20px 0;
}
.reflection p:last-child {
  margin-bottom: 0;
}
.reflection-then {
  color: var(--muted);
  border-left: 2px solid var(--line);
  padding-left: 18px;
  margin: 22px 0;
}
.reflection-now {
  margin-top: 22px;
}
.reflection-marker {
  color: var(--pink);
}
.post-navigation {
  display: flex;
  gap: 30px;
  justify-content: space-between;
  border-top: 1px solid var(--line);
  margin: 35px 0 25px;
  padding-top: 25px;
}
.post-navigation a {
  max-width: 48%;
  font-size: 0.85rem;
}
.post-navigation .eyebrow {
  display: block;
  margin-bottom: 7px;
}
.archive-year {
  display: grid;
  grid-template-columns: 90px minmax(0, 1fr);
  gap: 25px;
  padding: 25px 0;
  border-top: 1px solid var(--line);
}
.archive-year h2 {
  color: var(--pink);
}
.archive-list {
  list-style: none;
  padding: 0;
  margin: 0;
}
.archive-list li {
  display: grid;
  grid-template-columns: 66px minmax(0, 1fr);
  gap: 18px;
  margin-bottom: 15px;
}
.archive-list time {
  font:
    0.72rem/2 system-ui,
    sans-serif;
  color: var(--muted);
}
.archive-list a {
  font-size: 0.9rem;
  text-decoration: none;
}
.trails {
  display: grid;
  gap: 25px;
}
.trail-heading {
  display: flex;
  gap: 25px;
}
.trail-symbol {
  color: var(--pink);
  font: 2.5rem/1 var(--display);
  min-width: 35px;
}
.trail-heading p {
  font-size: 0.85rem;
}
.trail-heading .eyebrow {
  font-size: 0.68rem;
  margin-bottom: 8px;
}
.trail-stops {
  list-style: none;
  counter-reset: stop;
  padding: 0;
  margin: 10px 0 0 60px;
}
.trail-stops li {
  counter-increment: stop;
  position: relative;
  border-left: 1px solid var(--line);
  padding: 12px 10px 12px 27px;
  display: flex;
  justify-content: space-between;
  gap: 15px;
}
.trail-stops li:before {
  content: counter(stop);
  position: absolute;
  left: -10px;
  top: 15px;
  width: 18px;
  height: 18px;
  line-height: 18px;
  text-align: center;
  background: var(--panel);
  color: var(--pink);
  font-family: system-ui, sans-serif;
  font-size: 0.7rem;
}
.trail-stops a {
  font-size: 0.9rem;
  text-decoration: none;
}
.trail-stops time {
  color: var(--muted);
  font:
    0.7rem/2 system-ui,
    sans-serif;
  white-space: nowrap;
}
.shelf-nav {
  display: flex;
  flex-wrap: wrap;
  gap: 10px;
  margin-bottom: 38px;
}
.shelf-nav a {
  border: 1px solid var(--line);
  border-radius: 30px;
  padding: 5px 15px;
  text-decoration: none;
  font-size: 0.75rem;
}
.shelf-section {
  margin: 35px 0;
}
.shelf-section h2 span {
  color: var(--pink);
  margin-right: 8px;
}
.shelf-grid {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 20px;
}
.shelf-item {
  border-top: 2px solid var(--pink);
}
.shelf-item h3 {
  font-size: 1.5rem;
}
.shelf-item p {
  font-size: 0.9rem;
}
.shelf-item .eyebrow {
  font-size: 0.68rem;
}
.shelf-item a {
  font-size: 0.8rem;
}
.shelf-empty {
  border: 1px dashed var(--line);
  padding: 22px 25px;
  border-radius: 7px;
  width: 100%;
}
.shelf-empty > span {
  font-size: 1.5rem;
  color: var(--pink);
}
.shelf-empty p {
  font-size: 0.8rem;
  color: var(--muted);
  margin-bottom: 5px;
}
.sampling {
  margin-bottom: 25px;
}
.sampling > .muted {
  font-size: 0.86rem;
}
.scope {
  background: #0a1018;
  border: 1px solid var(--line);
  border-radius: 5px;
  margin-top: 25px;
}
.scope svg {
  width: 100%;
  height: auto;
}
.scope-grid path {
  stroke: #26313e;
  stroke-width: 1;
  fill: none;
}
.signal-path {
  stroke: var(--cyan);
  stroke-width: 2;
  fill: none;
}
.sample-path {
  stroke: var(--pink);
  stroke-width: 1.3;
  fill: none;
  opacity: 0.65;
}
.scope circle {
  fill: var(--pink);
  stroke: var(--bg);
  stroke-width: 1;
}
.scope text {
  fill: var(--muted);
  font:
    11px system-ui,
    sans-serif;
}
.scope-legend {
  display: flex;
  flex-wrap: wrap;
  gap: 20px;
  color: var(--muted);
  font:
    0.7rem/1.8 system-ui,
    sans-serif;
  margin: 12px 0 28px;
}
.scope-legend i {
  display: inline-block;
  width: 7px;
  height: 7px;
  border-radius: 50%;
  margin-right: 7px;
}
.cyan {
  background: var(--cyan);
}
.pink {
  background: var(--pink);
}
.signal-controls {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 30px;
}
.signal-controls label {
  font-size: 0.78rem;
  display: block;
}
.signal-controls output {
  float: right;
  color: var(--cyan);
  margin-left: 10px;
}
.signal-controls input {
  width: 100%;
  accent-color: var(--pink);
  margin: 18px 0;
  height: 22px;
  cursor: pointer;
}
.sampling-status {
  border-left: 2px solid var(--cyan);
  padding: 10px 15px;
  background: #14242c;
  font-size: 0.8rem;
  margin: 10px 0 25px;
}
.sampling-status.is-aliased {
  border-color: var(--pink);
  background: #2a182b;
}
.experiment-explanation summary {
  cursor: pointer;
  color: var(--cyan);
  font-size: 0.85rem;
}
.experiment-explanation .prose {
  margin-top: 20px;
  font-size: 0.85rem;
}
@media (min-width: 1500px) {
  .site-shell {
    gap: 85px;
  }
}
@media (max-width: 1150px) {
  .site-shell {
    grid-template-columns: 205px minmax(0, 1fr);
    gap: 38px;
    padding: 36px 28px 0;
  }
  .wordmark {
    font-size: 2.3rem;
  }
  .home-grid {
    grid-template-columns: minmax(0, 1fr) 235px;
    gap: 24px;
  }
  .panel {
    padding: 20px;
  }
}
@media (max-width: 960px) {
  .site-shell {
    display: block;
    padding: 25px 28px 0;
  }
  .sidebar {
    position: static;
    max-height: none;
    overflow: visible;
    padding: 0 0 25px;
    margin-bottom: 30px;
    border-bottom: 1px solid var(--line);
  }
  .wordmark {
    max-width: none;
    font-size: 2.4rem;
  }
  .site-caption {
    margin: 8px 0 18px;
  }
  .site-nav {
    display: flex;
    flex-wrap: wrap;
    gap: 5px;
    margin-bottom: 18px;
  }
  .site-nav a {
    font-size: 0.78rem;
    padding: 4px 10px;
  }
  .site-nav a span {
    display: none;
  }
  .time-machine {
    width: auto;
    padding: 7px 14px;
  }
  .time-hint {
    display: inline;
    margin-left: 12px;
    font-size: 0.7rem;
  }
  .sidebar-note,
  .sidebar-links {
    display: none;
  }
  .page-intro {
    margin-bottom: 35px;
  }
  .home-grid {
    grid-template-columns: minmax(0, 1fr) 250px;
  }
  .journal-post {
    max-width: 740px;
    margin: auto;
  }
  .site-footer {
    margin-top: 0;
  }
  .page-intro h1 {
    font-size: 3.5rem;
  }
}
@media (max-width: 620px) {
  body {
    font-size: 15px;
  }
  .site-shell {
    padding: 23px 20px 0;
  }
  .site-nav {
    gap: 0;
  }
  .site-nav a {
    padding: 5px 9px;
  }
  .site-nav a:first-child {
    padding-left: 5px;
  }
  .time-hint {
    display: block;
    margin: 7px 0 0;
  }
  .sidebar {
    margin-bottom: 27px;
    padding-bottom: 22px;
  }
  .page-intro h1 {
    font-size: 2.9rem;
  }
  .home-grid {
    display: flex;
    flex-direction: column;
    gap: 40px;
  }
  .home-corner {
    display: grid;
    grid-template-columns: 1fr;
  }
  .currently dl {
    display: grid;
    grid-template-columns: 1fr 1fr;
    gap: 20px;
  }
  .currently dl div + div {
    margin: 0;
    padding: 0;
    border: 0;
  }
  .post-header h1 {
    font-size: 2.4rem;
  }
  .post-meta {
    font-size: 0.7rem;
  }
  .section-heading {
    gap: 12px;
  }
  .section-heading h2 {
    font-size: 1.35rem;
  }
  .section-heading .eyebrow {
    font-size: 0.6rem;
  }
  .archive-year {
    display: block;
  }
  .archive-year h2 {
    margin-bottom: 22px;
  }
  .archive-list li {
    gap: 12px;
  }
  .trail-heading {
    gap: 15px;
  }
  .trail-symbol {
    min-width: 25px;
    font-size: 2rem;
  }
  .trail-stops {
    margin-left: 40px;
  }
  .trail-stops li {
    flex-wrap: wrap;
    gap: 0;
    padding-left: 20px;
  }
  .trail-stops time {
    width: 100%;
  }
  .shelf-grid {
    grid-template-columns: 1fr;
  }
  .signal-controls {
    grid-template-columns: 1fr;
    gap: 0;
  }
  .sampling .section-heading {
    flex-wrap: wrap;
  }
  .sampling {
    padding: 18px;
  }
  .scope-legend {
    gap: 6px;
  }
  .scope-legend span {
    width: 100%;
  }
  .site-footer {
    padding: 20px;
    font-size: 0.65rem;
  }
  .reflection {
    padding: 18px;
  }
  .post-navigation {
    gap: 15px;
  }
}
@media (prefers-reduced-motion: reduce) {
  html {
    scroll-behavior: auto;
  }
}
@media print {
  body {
    background: #fff;
    color: #111;
  }
  .sidebar,
  .site-footer,
  .post-navigation {
    display: none;
  }
  .site-shell {
    display: block;
    padding: 0;
  }
  .main-content {
    max-width: none;
  }
  a,
  h1,
  h2,
  h3,
  .post-header h1 {
    color: #111;
  }
  .panel,
  .reflection {
    background: #fff;
    border-color: #aaa;
  }
  .muted,
  .eyebrow {
    color: #444;
  }
}

/* A small workbench, kept close to the journal. */
.little-lab {
  max-width: 700px;
}
.lab-intro {
  margin-bottom: 38px;
}
.lab-intro h1 {
  font-size: clamp(1.9rem, 4vw, 2.7rem);
  letter-spacing: -0.025em;
  color: var(--pink);
}
.lab-intro p,
.cpu-experiment > p,
.lab-notes p {
  font-size: 0.9rem;
}
.cpu-experiment {
  border-block: 1px solid var(--line);
  padding: 28px 0 20px;
}
.cpu-experiment h2,
.lab-notes h2 {
  font-size: 1.35rem;
}
.lab-controls {
  display: flex;
  gap: 10px;
  flex-wrap: wrap;
  margin: 24px 0 12px;
}
.lab-controls button {
  padding: 8px 16px;
  min-height: 44px;
  color: var(--text);
  border: 1px solid var(--line);
  border-radius: 3px;
  background: var(--panel);
  cursor: pointer;
  font-size: 0.8rem;
}
.lab-controls button:hover {
  border-color: var(--cyan);
}
.lab-status {
  min-height: 3.5em;
  color: var(--muted);
}
.lab-details {
  font-size: 0.82rem;
  margin-top: 12px;
}
.lab-details summary {
  color: var(--cyan);
  cursor: pointer;
  margin-bottom: 15px;
}
.lab-source {
  margin-top: 25px;
}
.lab-notes {
  margin-top: 35px;
}
.cpu-lab {
  max-width: 900px;
}
.cpu-input {
  display: flex;
  align-items: center;
  flex-wrap: wrap;
  gap: 12px;
  margin: 25px 0 0;
}
.cpu-input label,
.cpu-speed {
  font-size: 0.8rem;
}
.cpu-input input,
.cpu-input button,
.cpu-speed select {
  font: inherit;
  background: var(--panel);
  color: var(--text);
  border: 1px solid var(--line);
  border-radius: 3px;
  padding: 8px 12px;
  min-height: 44px;
}
.cpu-input input {
  width: 110px;
  margin-left: 10px;
}
.cpu-input button {
  font-size: 0.8rem;
  cursor: pointer;
}
.cpu-speed {
  display: flex;
  align-items: center;
  gap: 8px;
}
.lab-controls button:focus-visible,
.cpu-input button:focus-visible,
.cpu-speed select:focus-visible,
.cpu-program:focus-visible {
  outline: 2px solid var(--pink);
  outline-offset: 3px;
}
.cpu-experiment button:disabled,
.cpu-experiment input:disabled,
.cpu-experiment select:disabled {
  opacity: 0.5;
  cursor: default;
}
.cpu-status {
  color: var(--muted);
  font-size: 0.78rem;
  min-height: 1.8em;
}
.cpu-result {
  font:
    1.05rem/1.7 ui-monospace,
    monospace;
  color: var(--cyan);
  margin-bottom: 28px;
}
.cpu-stages {
  display: grid;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  list-style: none;
  padding: 0;
  margin: 0;
  gap: 5px;
}
.cpu-stages li {
  background: var(--panel);
  padding: 9px 12px;
  font-size: 0.72rem;
  color: var(--muted);
  border-bottom: 2px solid var(--line);
}
.cpu-stages b {
  display: block;
  font:
    0.8rem ui-monospace,
    monospace;
  color: var(--text);
  margin-bottom: 5px;
}
.cpu-stages li.is-active {
  border-color: var(--pink);
  color: var(--text);
}
.cpu-stages li.is-active b {
  color: var(--pink);
}
.cpu-state-detail {
  margin: 12px 0;
  min-height: 3em;
  color: var(--muted);
}
.cpu-diagram {
  width: 100%;
  max-width: 740px;
  background: #0a1018;
  border: 1px solid var(--line);
  border-radius: 4px;
}
.cpu-diagram rect {
  fill: var(--panel);
  stroke: var(--line);
  stroke-width: 1.5;
}
.cpu-diagram text {
  text-anchor: middle;
  font:
    13px ui-monospace,
    monospace;
  fill: var(--muted);
}
.cpu-diagram g.is-active rect {
  stroke: var(--cyan);
}
.cpu-diagram g.is-active text {
  fill: var(--text);
}
.cpu-wires path {
  stroke: var(--line);
  stroke-width: 2;
}
.cpu-wires path.is-active {
  stroke: var(--cyan);
}
.cpu-counters {
  margin: 12px 0 30px;
  color: var(--muted);
}
.cpu-inspect {
  display: grid;
  grid-template-columns: minmax(0, 1.1fr) minmax(0, 1fr);
  gap: 30px;
  margin: 25px 0;
}
.cpu-inspect h3 {
  font-size: 1rem;
}
.cpu-inspect p {
  font-size: 0.72rem;
}
.cpu-program {
  position: relative;
  height: 280px;
  overflow: auto;
  background: var(--panel);
  border: 1px solid var(--line);
  border-radius: 3px;
  font:
    0.76rem/1.9 ui-monospace,
    monospace;
}
.cpu-program ol {
  list-style: none;
  padding: 7px 0;
  margin: 0;
}
.cpu-program li {
  padding: 2px 10px;
  white-space: pre;
  border-left: 2px solid transparent;
}
.cpu-program li.current {
  background: #21303b;
  border-color: var(--pink);
}
.cpu-program code {
  color: var(--text);
  font: inherit;
}
.instruction-address {
  color: var(--muted);
  margin-right: 15px;
}
.cpu-registers {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  gap: 12px;
  margin: 0 0 12px;
}
.cpu-registers dt {
  font:
    0.7rem ui-monospace,
    monospace;
  color: var(--muted);
}
.cpu-registers dd {
  margin: 5px 0 0;
  font:
    1rem ui-monospace,
    monospace;
}
.cpu-registers dd.changed {
  color: var(--pink);
}
.cpu-working {
  font-size: 0.76rem;
  margin: 18px 0 8px;
}
.cpu-working div {
  display: flex;
  justify-content: space-between;
  gap: 10px;
  padding: 4px 0;
  border-bottom: 1px solid var(--line);
}
.cpu-working dt {
  color: var(--muted);
}
.cpu-working dd {
  margin: 0;
  font-family: ui-monospace, monospace;
}
.cpu-signals {
  font-family: ui-monospace, monospace;
  overflow-wrap: anywhere;
}
.cpu-table-wrap {
  overflow: auto;
}
.cpu-iterations {
  width: 100%;
  border-collapse: collapse;
  font:
    0.78rem/1.8 ui-monospace,
    monospace;
}
.cpu-iterations th,
.cpu-iterations td {
  padding: 8px 10px;
  text-align: left;
  border-bottom: 1px solid var(--line);
}
.cpu-iterations th {
  color: var(--muted);
  font-weight: normal;
}
.cpu-experiment .lab-details {
  margin-top: 24px;
}
.cpu-experiment .lab-details p {
  font-size: 0.82rem;
}
@media (max-width: 620px) {
  .cpu-inspect {
    grid-template-columns: 1fr;
    gap: 25px;
  }
  .cpu-stages li {
    padding: 8px;
  }
  .cpu-diagram text {
    font-size: 16px;
  }
  .cpu-counters {
    font-size: 0.65rem;
  }
  .lab-controls {
    gap: 8px;
  }
  .lab-controls button {
    padding: 8px 12px;
  }
}