/* A vivid execution trace and ASCII output, with a shared monospace rhythm. */
.article-page.is-pending .article-body.execution-demo-article { max-width: 1120px; }
.article-body .ascii-run {
  container: ascii-run / inline-size;
  --run-blue: #245BFF;
  --run-purple: #713BEB;
  --run-pink: #ED3C8B;
  --run-ink: #203C78;
  --run-mono: 'Cascadia Mono', 'Cascadia Code', Consolas, 'SFMono-Regular', monospace;
  min-width: 0;
  margin: 24px 0 32px;
  padding: 24px;
  border: 0;
  border-radius: 14px;
  background: #EDF2FF;
  color: var(--run-ink);
}
.article-body .ascii-run:focus-visible { outline: 3px solid var(--run-blue); outline-offset: 4px; }
.ascii-run__header { display: flex; align-items: center; justify-content: space-between; gap: 16px; margin: 0; }
.ascii-run__header > div { min-width: 0; }
.ascii-run__eyebrow { display: block; color: var(--run-purple); font-size: 12px; font-weight: 700; line-height: 1.6; letter-spacing: .025em; }
.article-body .ascii-run__heading { display: block; margin-top: 4px; color: #183A8F; font-size: 22px; font-weight: 800; line-height: 1.5; letter-spacing: .02em; }
.ascii-run__mode { flex: none; padding: 4px 8px; border-radius: 5px; background: #FCE2F0; color: #BE1C68; font-size: 11px; font-weight: 700; line-height: 1.6; white-space: nowrap; }
.article-body .ascii-run__steps { display: grid; grid-template-columns: repeat(5, minmax(0, 1fr)); gap: 8px; margin: 24px 0 18px; padding: 0; list-style: none; }
.article-body .ascii-run__steps > li { min-width: 0; margin: 0; }
.ascii-run__step { display: flex; flex-direction: column; align-items: center; justify-content: center; gap: 6px; width: 100%; min-height: 66px; padding: 8px 6px; border: 0; border-radius: 8px; background: #FAFBFF; color: #55689B; font: inherit; font-size: 13px; font-weight: 700; line-height: 1.4; letter-spacing: .025em; transition: background-color 180ms ease-out, color 180ms ease-out; }
.ascii-run__step > span:first-child { display: grid; place-items: center; width: 20px; height: 20px; border-radius: 50%; background: #E2E9FF; color: #4B60BA; font-size: 11px; font-weight: 800; font-variant-numeric: tabular-nums; }
.ascii-run__step.is-complete { background: #DEE8FF; color: #2455D6; }
.ascii-run__step.is-complete > span:first-child { background: #C5D5FF; color: #1C45C3; }
.ascii-run__step.is-current { background: var(--run-blue); color: #FFFFFF; font-weight: 800; }
.ascii-run__step.is-current > span:first-child { background: #FFFFFF; color: var(--run-blue); }
.ascii-run__viewport { min-width: 0; overflow: hidden; border-radius: 10px; background: #E4ECFF; }
.ascii-run__terminalbar { display: flex; align-items: center; justify-content: space-between; gap: 12px; min-width: 0; padding: 12px 16px; background: #DCE5FF; font-family: var(--run-mono); font-size: 12px; font-weight: 700; line-height: 1.6; letter-spacing: .035em; }
.ascii-run__command { min-width: 0; overflow: hidden; color: #254CC5; text-overflow: ellipsis; white-space: nowrap; }
.ascii-run__state { flex: none; color: #C41D72; white-space: nowrap; }
.ascii-run__workspace { display: grid; grid-template-columns: minmax(0, 1fr) minmax(0, 1fr); gap: 2px; min-width: 0; background: #D5DFFF; }
.ascii-run__code-pane, .ascii-run__result-pane { min-width: 0; background: #F5F7FF; }
.ascii-run__result-pane { background: #E9EEFF; }
.ascii-run__pane-label { display: flex; align-items: center; justify-content: space-between; gap: 12px; min-width: 0; min-height: 40px; padding: 10px 14px; color: #344DB0; font-size: 12px; font-weight: 800; line-height: 1.6; letter-spacing: .025em; }
.ascii-run__pane-label > span:last-child:not(:first-child) { color: #7380A3; font-size: 10px; font-weight: 600; }
.article-body .ascii-run__code { box-sizing: border-box; width: 100%; min-width: 0; min-height: 350px; max-height: 440px; margin: 0; padding: 8px 0; overflow: auto; list-style: none; background: transparent; color: #233B75; font-family: var(--run-mono); font-size: 14px; font-weight: 700; font-variant-ligatures: none; line-height: 1.75; letter-spacing: .03em; scrollbar-width: thin; scrollbar-color: #9EB2F2 #F5F7FF; }
.article-body .ascii-run__code > .ascii-run__code-line { display: grid; grid-template-columns: 2.4ch 1.1ch minmax(0, 1fr); align-items: center; gap: 7px; box-sizing: border-box; width: max-content; min-width: 100%; min-height: 32px; margin: 0; padding: 2px 13px 2px 9px; white-space: pre; background: transparent; color: inherit; transition: background-color 180ms ease-out, color 180ms ease-out; }
.ascii-run__line-number { color: #7A88B0; font-size: 11px; font-weight: 700; text-align: right; font-variant-numeric: tabular-nums; user-select: none; }
.ascii-run__line-marker { color: transparent; font-weight: 900; user-select: none; }
.article-body .ascii-run__code-line > code { display: block; min-width: max-content; margin: 0; padding: 0; border: 0; background: transparent; color: inherit; font: inherit; white-space: pre; }
.ascii-run__syntax-keyword { color: #713BEB; }
.ascii-run__syntax-function { color: #B8381A; }
.ascii-run__syntax-variable { color: #233B75; }
.ascii-run__syntax-string { color: #D92378; }
.ascii-run__syntax-number { color: #087D9E; }
.article-body .ascii-run__code-line.is-done { background: #E3EBFF; }
.ascii-run__code-line.is-done .ascii-run__line-number { color: #456AE0; }
.ascii-run__code-line.is-done .ascii-run__line-marker { color: #166534; }
.article-body .ascii-run__code-line.is-active { background: var(--run-blue); color: #FFFFFF; }
.ascii-run__code-line.is-active .ascii-run__line-number, .ascii-run__code-line.is-active .ascii-run__line-marker, .ascii-run__code-line.is-active [class*='ascii-run__syntax-'] { color: #FFFFFF; }
.article-body .ascii-run__screen { box-sizing: border-box; width: 100%; min-width: 0; height: 350px; min-height: 350px; max-height: 440px; margin: 0; padding: 20px 16px; overflow: auto; border: 0; border-radius: 0; background: transparent; color: #245BFF; font-family: var(--run-mono); font-size: 15px; font-weight: 800; font-variant-ligatures: none; line-height: 1.5; letter-spacing: .035em; text-align: left; tab-size: 4; white-space: pre; overflow-wrap: normal; word-break: normal; scrollbar-width: thin; scrollbar-color: #9EB2F2 #E9EEFF; }
.ascii-run__signal { color: var(--run-pink); font-weight: 900; }
.article-body .ascii-run__code:focus-visible { outline: 2px solid var(--run-blue); outline-offset: -3px; }
.ascii-run__explanation { min-height: 106px; margin: 20px 0; }
.article-body .ascii-run__explanation > strong { display: block; color: #253FA0; font-size: 17px; font-weight: 800; line-height: 1.6; letter-spacing: .02em; }
.article-body .ascii-run__explanation > p { margin: 7px 0 0; color: #5B6A91; font-size: 14px; font-weight: 500; line-height: 1.85; }
.ascii-run__footer { display: grid; grid-template-columns: minmax(100px, 1fr) minmax(0, 1fr); align-items: center; gap: 24px; }
.ascii-run__progress { min-width: 0; color: #5F6F9E; font-size: 12px; font-weight: 700; line-height: 1.6; font-variant-numeric: tabular-nums; }
.ascii-run__track { height: 4px; margin-top: 8px; overflow: hidden; border-radius: 5px; background: #CFDCFF; }
.ascii-run__track > span { display: block; width: 0; height: 100%; border-radius: inherit; background: var(--run-blue); }
.article-body .ascii-run__scroll-hint { min-width: 0; margin: 0; color: #64739E; font-size: 11px; font-weight: 500; line-height: 1.7; text-align: right; }
.ascii-run__scroll-hint > strong { display: block; color: #344DB0; font-size: 12px; font-weight: 800; }
.ascii-run__scroll-hint > span { display: block; margin-top: 2px; }
.article-body .ascii-run__screen:focus-visible, .article-body .ascii-run__code:focus-visible { outline: 2px solid var(--run-blue); outline-offset: -3px; }
@media (max-width: 980px) {
  .ascii-run__workspace { grid-template-columns: minmax(0, 1fr); }
  .article-body .ascii-run__code { min-height: 344px; }
  .article-body .ascii-run__screen { height: 320px; min-height: 320px; }
}
/* A reading sidebar can narrow the demo even on a wide viewport. */
@container ascii-run (max-width: 700px) {
  .ascii-run__workspace { grid-template-columns: minmax(0, 1fr); }
  .article-body .ascii-run__code { min-height: 344px; }
  .article-body .ascii-run__screen { height: 320px; min-height: 320px; }
}
@container ascii-run (max-width: 600px) {
  .ascii-run__footer { grid-template-columns: minmax(0, 1fr); gap: 17px; }
  .article-body .ascii-run__scroll-hint { text-align: left; }
  .ascii-run__explanation { min-height: 120px; }
}
@media (max-width: 760px) {
  .article-body .ascii-run { padding: 18px; }
  .article-body .ascii-run__heading { font-size: 20px; }
  .ascii-run__explanation { min-height: 120px; }
  .ascii-run__footer { grid-template-columns: minmax(0, 1fr); gap: 17px; }
  .article-body .ascii-run__scroll-hint { text-align: left; }
}
@media (max-width: 420px) {
  .article-body .ascii-run { padding: 12px; border-radius: 12px; }
  .ascii-run__header { gap: 9px; }
  .article-body .ascii-run__heading { font-size: 18px; }
  .ascii-run__mode { padding-inline: 6px; font-size: 10px; }
  .article-body .ascii-run__steps { gap: 4px; margin-top: 20px; }
  .ascii-run__step { min-height: 60px; padding: 7px 3px; font-size: 12px; }
  .ascii-run__terminalbar { gap: 8px; padding: 10px 12px; font-size: 11px; }
  .ascii-run__pane-label { gap: 7px; padding-inline: 11px; font-size: 11px; }
  .ascii-run__pane-label > span:last-child:not(:first-child) { font-size: 9px; }
  .article-body .ascii-run__code { min-height: 318px; font-size: 12px; letter-spacing: .03em; }
  .article-body .ascii-run__code > .ascii-run__code-line { min-height: 30px; gap: 5px; padding-inline: 6px 10px; }
  .ascii-run__line-number { font-size: 10px; }
  .article-body .ascii-run__screen { height: 294px; min-height: 294px; padding: 16px 12px; font-size: 13px; line-height: 1.6; letter-spacing: .035em; }
  .ascii-run__explanation { min-height: 144px; margin-block: 18px; }
  .article-body .ascii-run__explanation > strong { font-size: 16px; }
  .article-body .ascii-run__explanation > p { font-size: 13px; }
}
@media (prefers-reduced-motion: reduce) {
  .ascii-run__step, .ascii-run__code-line { transition: none; }
}