:root {
  --ink: #22292a;
  --muted: #637071;
  --line: #dce2df;
  --surface: #f3f6f4;
  --accent: #126756;
  --accent-soft: #e4efe9;
  --warm: #965520;
  font-size: 16px;
}
.rp-page section[id] { scroll-margin-top: 24px; }
.rp-page .rr-rules { margin-top: 44px; }
.rp-flow { display: grid; grid-template-columns: 1fr auto 1fr auto 1fr auto 1fr; gap: 14px; align-items: stretch; margin: 24px 0; }
.rp-flow > div { border-top: 2px solid var(--accent); padding-top: 12px; min-width: 0; }
.rp-flow strong, .rp-flow div span { display: block; font-size: 14px; }
.rp-flow div span { margin-top: 10px; color: var(--muted); font-size: 12px; }
.rp-flow > span { color: var(--accent); align-self: center; }
.rp-sequence { display: flex; gap: 6px; overflow-x: auto; padding: 12px 0; }
.rp-sequence button { flex: 0 0 48px; height: 82px; border: 1px solid var(--line); background: var(--surface); border-radius: 4px; padding: 7px 4px; }
.rp-sequence small, .rp-sequence strong { display: block; }
.rp-sequence small { font-size: 11px; color: var(--muted); }
.rp-sequence strong { font-size: 20px; font-weight: 500; }
.rp-page button[aria-pressed="true"] { background: var(--accent-soft); border-color: var(--accent); color: var(--accent); }
.rp-status { font-size: 14px; margin: 8px 0 20px; }
.rp-policies { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 24px; }
.rp-policy { min-width: 0; border-top: 2px solid #b6c9bd; padding-top: 16px; }
.rp-policy:nth-child(2) { border-color: #aabfcf; }
.rp-policy:nth-child(3) { border-color: #d7b98d; }
.rp-policy h3 { font-size: 17px; }
.rp-rule { font-size: 13px; color: var(--muted); min-height: 90px; margin: 12px 0; }
.rp-frames { display: grid; grid-template-columns: repeat(var(--rp-count), minmax(0, 1fr)); gap: 6px; }
.rp-frame { min-width: 0; min-height: 116px; border: 1px solid var(--line); padding: 10px 6px; background: var(--surface); }
.rp-frame > span { display: block; font-size: 11px; color: var(--muted); }
.rp-frame > strong { display: block; font-size: 20px; font-weight: 500; margin: 12px 0; }
.rp-frame.rp-selected { background: var(--accent-soft); border-color: var(--accent); }
.rp-frame.rp-hand { border-top: 3px solid var(--warm); }
.rp-metrics { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 10px; margin: 18px 0; }
.rp-metrics dt { color: var(--muted); font-size: 11px; }
.rp-metrics dd { margin: 0; font-size: 23px; }
.rp-decision { font-size: 13px; min-height: 105px; }
.rp-order { font-size: 12px; color: var(--muted); padding: 12px 0; min-height: 66px; }
.rp-history { max-height: 350px; overflow: auto; }
.rp-history .pt-table { min-width: 260px; }
.rp-position { width: 100%; margin: 20px 0; accent-color: var(--accent); }
.rp-summary { font-size: 14px; color: var(--accent); }
.rp-clock-workbench { display: grid; grid-template-columns: 1fr 1.4fr; gap: 32px; margin: 18px 0; }
.rp-clock-workbench > div { min-width: 0; }
.rp-backing { border-top: 2px solid #aabfcf; border-bottom: 1px solid var(--line); padding: 12px 0; margin-bottom: 22px; min-height: 96px; }
.rp-backing strong, .rp-backing span { display: block; font-size: 14px; }
.rp-backing span { font-size: 12px; color: var(--muted); margin-top: 10px; }
.rp-phases { display: flex; flex-wrap: wrap; gap: 8px; }
.rp-phases button { font-size: 12px; border: 1px solid var(--line); border-radius: 4px; background: white; padding: 10px; }
.rp-further { border-top: 1px solid var(--line); margin-top: 28px; padding-top: 22px; }
.rp-further h3 { font-size: 17px; }
.rp-further p { font-size: 14px; color: var(--muted); margin-top: 14px; }
@media (max-width: 1240px) {
  .rp-policies { grid-template-columns: 1fr; gap: 30px; }
  .rp-rule, .rp-decision, .rp-order { min-height: 0; }
  .rp-clock-workbench { grid-template-columns: 1fr; gap: 22px; }
}
@media (max-width: 760px) {
  .rp-flow { grid-template-columns: 1fr; gap: 8px; }
  .rp-flow > span { transform: rotate(90deg); justify-self: center; }
  .rp-page .rr-toolbar label { flex-wrap: wrap; }
  .rp-page .rr-toolbar select { max-width: 100%; }
  .rp-frame > strong { font-size: 18px; }
  .rp-clock-workbench .rp-frame { min-height: 130px; }
}
.pt-page [hidden] { display: none; }
.tl-reuse { margin: 24px 0; }
.tl-reuse figcaption { font-size: 15px; font-weight: 600; margin-bottom: 14px; }
.tl-address-pair { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 24px; }
.tl-address-pair > section { min-width: 0; padding: 12px 0; border-bottom: 1px solid var(--line); }
.tl-address-parts { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 12px; margin: 0; }
.tl-address-parts > div { min-width: 0; padding: 10px; }
.tl-address-parts dt { font-size: 14px; line-height: 1.8; }
.tl-address-parts dd { font-size: 24px; line-height: 1.5; margin: 6px 0; }
.tl-address-parts small { display: block; font-size: 12px; line-height: 1.8; }
.tl-address-equation { font-size: 14px; line-height: 1.9; color: var(--muted); margin: 12px 0 0; }
.tl-reuse-result { border-top: 1px solid var(--line); padding-top: 12px; margin-top: 14px; font-size: 14px; line-height: 1.9; }
.tl-reuse-result > span { display: block; color: var(--muted); }
.tl-page-part { padding: 8px 12px; background: var(--accent-soft); color: var(--accent); }
.tl-offset-part { padding: 8px 12px; background: #f3ede6; color: var(--warm); }
.tl-shared-mapping { display: flex; flex-wrap: wrap; gap: 8px 20px; align-items: baseline; padding: 16px 0; font-size: 13px; }
.tl-shared-mapping strong { color: var(--accent); }
.tl-shared-mapping > span:last-child { color: var(--muted); }
.tl-comparison { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 30px; }
.tl-comparison section { min-width: 0; border-top: 2px solid var(--line); padding-top: 14px; }
.tl-comparison section:last-child { border-color: #b6c9bd; }
.tl-comparison h3 { font-size: 16px; margin-bottom: 16px; }
.tl-cost-row { display: grid; grid-template-columns: 45px 1fr 16px 80px; gap: 8px; padding: 12px 0; align-items: center; border-bottom: 1px solid var(--line); font-size: 12px; }
.tl-saved { color: var(--accent); background: var(--accent-soft); }
.tl-comparison section > p { font-size: 13px; color: var(--muted); margin-top: 14px; }
.tl-page .pt-workbench { grid-template-columns: 1fr; gap: 20px; }
.tl-page .pt-event { grid-row: 1; max-width: 850px; }
.tl-page .pt-metrics { grid-template-columns: repeat(4, minmax(0, 1fr)); }
.tl-page .pt-access-strip > button { min-width: 0; min-height: 108px; padding: 12px; text-align: left; background: var(--surface); color: var(--ink); border: 0; border-top: 3px solid var(--line); border-radius: 0; }
.tl-page .pt-access-strip [aria-current="step"] { border-color: var(--accent); background: var(--accent-soft); }
.tl-page .pt-access-strip small { display: block; font-size: 11px; color: var(--muted); }
.tl-page .tl-stages { grid-template-columns: repeat(var(--tl-stage-count, 5), minmax(0, 1fr)); }
.tl-route-note { font-size: 12px; color: var(--muted); margin-bottom: 18px; }
.tl-walk { position: relative; display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 48px; padding: 32px 0 22px; }
.tl-node { min-width: 0; min-height: 425px; }
.tl-node h3 { font-size: 17px; margin: 5px 0 10px; padding-bottom: 12px; border-bottom: 2px solid #b6c9bd; }
.tl-page-table h3 { border-color: #aabfcf; }
.tl-data h3 { border-color: #d7b98d; }
.tl-status { min-height: 40px; margin-bottom: 10px; font-size: 12px; color: var(--accent); }
.tl-miss { color: var(--warm); }
.tl-node .pt-table td, .tl-node .pt-table th { height: 38px; padding: 8px; }
.tl-node .pt-table { font-size: 14px; }
.tl-lookup-key { font-size: 14px; line-height: 1.8; margin: 12px 0; }
.tl-data .st-equation > span { display: block; margin-bottom: 8px; }
.tl-page-table .pt-active { background: #e7edf2; color: #385974; }
.tl-bypassed .pt-table { color: var(--muted); }
.tl-bypassed h3 { border-bottom-style: dashed; }
.tl-table-note, .tl-decision { font-size: 12px; color: var(--muted); margin-top: 16px; }
.tl-decision { min-height: 66px; }
.tl-order, .tl-before { margin-top: 16px; padding-top: 12px; border-top: 1px solid var(--line); font-size: 11px; color: var(--muted); }
.tl-before > p { margin-top: 8px; color: var(--warm); }
.tl-recency { display: flex; flex-wrap: wrap; gap: 8px; align-items: center; margin-top: 8px; color: var(--ink); }
.tl-recency small { display: block; color: var(--muted); font-size: 11px; }
.tl-wait { min-height: 230px; padding: 24px 12px; border-top: 1px dashed var(--line); font-size: 13px; color: var(--muted); }
.tl-route { position: absolute; inset: 0; width: 100%; height: 100%; pointer-events: none; overflow: visible; }
@media (max-width: 760px) {
  .tl-address-pair { grid-template-columns: 1fr; gap: 16px; }
  .tl-address-parts { gap: 6px; }
  .tl-address-parts > div { padding: 8px; }
  .tl-comparison { grid-template-columns: 1fr; gap: 24px; }
  .tl-walk { grid-template-columns: 1fr; gap: 32px; }
  .tl-node { margin-right: 28px; min-height: 350px; }
  .tl-page .tl-stages { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .tl-page .pt-access-strip > button { padding: 9px 7px; }
  .tl-page .pt-metrics { grid-template-columns: repeat(2, minmax(0, 1fr)); }
}
.st-space { margin: 24px 0 0; }
.st-space figcaption { display: flex; flex-direction: column; gap: 5px; margin-bottom: 16px; font-size: 15px; }
.st-space figcaption > span { color: var(--muted); font-size: 12px; }
.st-linear, .st-branches { display: grid; grid-template-columns: repeat(8, minmax(0, 1fr)); gap: 8px; }
.st-group > span { display: block; font-size: 12px; margin-bottom: 8px; }
.st-eight { display: grid; grid-template-columns: repeat(8, minmax(0, 1fr)); gap: 2px; }
.st-entry { height: 28px; border: 1px solid #c8d1cc; background: #edf0ee; }
.st-mapped { background: var(--accent); border-color: var(--accent); }
.st-group small { display: block; color: var(--muted); font-size: 11px; margin-top: 8px; }
.st-total { font-size: 14px; margin-top: 16px; }
.st-total strong, .st-saving strong { color: var(--accent); }
.st-transform { display: flex; gap: 18px; align-items: center; margin: 22px 0; padding: 16px 0; border-top: 1px solid var(--line); border-bottom: 1px solid var(--line); font-size: 14px; }
.st-transform > span { font-size: 28px; color: var(--accent); }
.st-transform strong { display: block; }
.st-directory-item { min-height: 66px; padding: 10px 8px; background: var(--surface); border-top: 2px solid #b6c9bd; font-size: 12px; }
.st-directory-item span, .st-directory-item strong { display: block; }
.st-directory-item strong { font-weight: 500; }
.st-present .st-directory-item { background: var(--accent-soft); }
.st-branch-link { display: block; height: 32px; text-align: center; color: var(--muted); }
.st-present .st-branch-link { color: var(--accent); }
.st-leaf-allocation { min-height: 100px; border: 1px dashed var(--line); padding: 10px 6px; display: flex; flex-direction: column; justify-content: center; gap: 8px; font-size: 12px; text-align: center; color: var(--muted); }
.st-present .st-leaf-allocation { border-style: solid; color: var(--ink); }
.st-leaf-allocation .st-entry { height: 18px; }
.st-account { display: grid; grid-template-columns: 1fr auto 1fr auto 1fr auto 1fr; align-items: center; gap: 12px; border-top: 1px solid var(--line); padding-top: 18px; margin-top: 18px; }
.st-account > div { display: flex; flex-direction: column; font-size: 12px; }
.st-account strong { font-size: 20px; font-weight: 500; }
.st-saving { margin-top: 20px; font-size: 15px; }
.st-page .pt-workbench { grid-template-columns: 1fr; gap: 22px; }
.st-page .pt-event { grid-row: 1; max-width: 850px; }
.st-page .pt-metrics { grid-template-columns: repeat(3, minmax(0, 1fr)); }
.st-stages { display: grid; grid-template-columns: repeat(5, minmax(0, 1fr)); gap: 8px; margin: 18px 0 22px; }
.st-stages button { padding: 10px 12px; text-align: left; background: white; border: 1px solid var(--line); border-radius: 4px; font-size: 12px; min-height: 60px; }
.st-stages button span { display: block; color: var(--muted); }
.st-stages button[aria-pressed="true"] { border-color: var(--accent); background: var(--accent-soft); }
.st-walk { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 48px; position: relative; padding: 22px 0; }
.st-node { min-width: 0; min-height: 390px; }
.st-node h3 { font-size: 18px; margin: 5px 0 14px; padding-bottom: 12px; border-bottom: 2px solid #b6c9bd; }
.st-node-kicker { color: var(--muted); font-size: 12px; }
.st-node-leaf h3 { border-color: #aabfcf; }
.st-node-frame h3 { border-color: #d7b98d; }
.st-node .pt-table td, .st-node .pt-table th { height: 34px; padding: 7px 10px; }
.st-node .pt-table small { margin-left: 10px; color: var(--muted); font-size: 11px; }
.st-node-leaf .pt-active { background: #e7edf2; color: #385974; }
.st-node .st-blocked { background: #f7e9e5; color: #a23c2d; }
.st-wait { display: flex; flex-direction: column; justify-content: center; gap: 10px; min-height: 280px; color: var(--muted); font-size: 14px; border-top: 1px dashed var(--line); padding: 20px 12px; }
.st-stop { color: #a23c2d; }
.st-frame-base { font-size: 13px; color: var(--muted); margin: 16px 0; }
.st-offsets { display: grid; grid-template-rows: repeat(4, 46px); }
.st-offsets > div { display: flex; justify-content: space-between; align-items: center; gap: 8px; padding: 10px 12px; border-bottom: 1px solid var(--line); font-size: 13px; }
.st-offsets strong { font-weight: 500; }
.st-selected-offset { background: #f3ede6; border-left: 3px solid var(--warm); }
.st-offsets .st-data-complete { background: var(--accent-soft); border-left-color: var(--accent); }
.st-equation { font-size: 16px; margin-top: 18px; }
.st-data-state { font-size: 12px; color: var(--muted); margin-top: 10px; }
.st-route { position: absolute; inset: 0; width: 100%; height: 100%; pointer-events: none; overflow: visible; color: var(--accent); }
.st-route [data-st-path="leaf"] { color: #385974; }
@media (max-width: 760px) {
  .st-linear, .st-branches { grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 16px; }
  .st-account { grid-template-columns: 1fr; gap: 4px; }
  .st-account > div { flex-direction: row; justify-content: space-between; align-items: baseline; }
  .st-account > span { font-size: 12px; }
  .st-walk { grid-template-columns: 1fr; gap: 36px; }
  .st-node { min-height: 330px; margin-right: 24px; }
  .st-stages { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .st-page .pt-metrics dd { font-size: 17px; }
}
.pt-section { margin-top: 38px; }
.pt-copy, .pt-caption { color: var(--muted); margin: 14px 0; }
.pt-copy { max-width: 840px; font-size: 14px; }
.pt-caption { font-size: 12px; }
.pt-access-strip { display: grid; grid-template-columns: repeat(6, minmax(0, 1fr)); gap: 8px; margin-top: 22px; }
.pt-access-strip > div { padding: 12px; border-top: 3px solid var(--line); background: var(--surface); }
.pt-access-strip strong, .pt-access-strip span { display: block; }
.pt-access-strip span { font-size: 12px; color: var(--muted); }
.pt-access-strip [aria-current="step"] { border-color: var(--accent); background: var(--accent-soft); }
.pt-workbench { display: grid; grid-template-columns: minmax(0, 1fr) 260px; gap: 24px; align-items: start; }
.pt-view { min-width: 0; }
.pt-event { border-left: 2px solid #b6c9bd; padding-left: 18px; font-size: 14px; }
.pt-event h3 { font-size: 20px; margin-bottom: 12px; }
.pt-result { margin-top: 20px; color: var(--accent); }
.pt-address { display: flex; flex-wrap: wrap; gap: 12px 22px; padding: 14px 0; border-bottom: 1px solid var(--line); font-size: 14px; }
.pt-address strong { color: var(--accent); }
.pt-bits { display: grid; grid-template-columns: 3fr 3fr 2fr; gap: 5px; margin: 16px 0; text-align: center; }
.pt-bits > span { background: var(--accent-soft); padding: 10px 2px; font: 22px Georgia, serif; }
.pt-bits > span:nth-child(2) { background: #e7edf2; }
.pt-bits > span:nth-child(3) { background: #f3ede6; }
.pt-bits small { display: block; font: 12px/1.6 "Microsoft YaHei", sans-serif; }
.pt-tables { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 14px; margin-top: 16px; }
.pt-tables.pt-two { grid-template-columns: repeat(2, minmax(0, 1fr)); }
.pt-table { width: 100%; border-collapse: collapse; table-layout: fixed; font-size: 12px; align-self: start; text-align: left; }
.pt-table caption { text-align: left; font-weight: 600; padding-bottom: 10px; color: var(--ink); }
.pt-table th, .pt-table td { padding: 8px 6px; border-bottom: 1px solid var(--line); overflow-wrap: anywhere; }
.pt-table thead { background: var(--surface); color: var(--muted); }
.pt-table tbody th { font-weight: 400; }
.pt-active { background: var(--accent-soft); color: var(--accent); }
.pt-metrics { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 12px; padding: 16px 0; margin: 12px 0 0; border-top: 1px solid var(--line); }
.pt-metrics dt { font-size: 12px; color: var(--muted); }
.pt-metrics dd { margin: 0; font-size: 20px; }
.pt-toolbar { flex-wrap: wrap; }
.pt-toolbar label { display: flex; align-items: center; gap: 8px; font-size: 12px; }
.pt-toolbar input, .pt-toolbar select { font: inherit; padding: 7px; border: 1px solid var(--line); border-radius: 4px; background: white; min-height: 36px; }
.pt-toolbar input { width: 90px; }
#pt-position { width: 100%; accent-color: var(--accent); margin: 20px 0 0; }
#pt-error { color: #a23c2d; margin: 14px 0; }
.pt-notes { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 24px; margin-top: 22px; }
.pt-notes h3 { font-size: 16px; }
.pt-notes p { color: var(--muted); font-size: 13px; margin-top: 10px; }
@media (max-width: 1240px) { .pt-workbench { grid-template-columns: 1fr; } .pt-event { grid-row: 1; } }
@media (max-width: 760px) {
  .pt-page .site-header { flex-wrap: wrap; padding: 14px 0; }
  .pt-page .site-header nav { flex-wrap: wrap; gap: 16px; }
  .pt-page h1 span { display: block; margin: 8px 0 0; font-size: 32px; }
  .pt-access-strip { grid-template-columns: repeat(3, minmax(0, 1fr)); }
  .pt-tables { grid-template-columns: 1fr; }
  .pt-tables.pt-two { grid-template-columns: 1fr; }
  .pt-notes { grid-template-columns: 1fr; }
}
* { box-sizing: border-box; }
html { scroll-behavior: smooth; scroll-padding-top: 24px; }
body { margin: 0; color: var(--ink); background: #fff; font: 400 16px/1.7 "PingFang SC", "Microsoft YaHei", sans-serif; -webkit-font-smoothing: antialiased; }
h1, h2, h3, p { margin: 0; letter-spacing: 0; }
a { color: inherit; text-decoration: none; }
a:hover { color: var(--accent); }
button { font: inherit; cursor: pointer; }
a:focus-visible, button:focus-visible { outline: 2px solid var(--accent); outline-offset: 5px; }
.page { max-width: 1440px; padding: 0 36px 0 272px; margin: auto; }
.site-header { min-height: 84px; display: flex; align-items: center; justify-content: space-between; gap: 24px; border-bottom: 1px solid var(--line); }
.brand { display: inline-flex; align-items: baseline; font: 700 24px/1.2 Georgia, serif; }
.brand > span:first-child { color: var(--accent); }
.brand .brand-caption { margin-left: 18px; font: 400 12px/1.5 "Microsoft YaHei", sans-serif; color: var(--muted); }
.site-header nav { display: flex; gap: 28px; font-size: 13px; }
.header-location { display: flex; align-items: center; gap: 14px; }
.article-location { display: flex; align-items: center; gap: 12px; font-size: 12px; }
.article-location > span { color: var(--muted); }
.menu-open.icon-button, .menu-close.icon-button, .mobile-brand { display: none; }
.intro { max-width: 850px; padding: 46px 0 38px; }
.eyebrow, .section-index { color: var(--accent); font-size: 12px; font-weight: 600; }
h1 { margin: 10px 0 12px; font-size: 46px; font-weight: 600; line-height: 1.25; }
h1 span { color: var(--muted); font: 400 46px/1.25 Georgia, "Songti SC", serif; margin-left: 12px; }
.lead { font-size: 21px; margin-bottom: 10px; }
.definition { max-width: 770px; color: var(--muted); }
.model-note { margin-top: 18px; padding-left: 12px; border-left: 2px solid #b6c9bd; font-size: 12px; color: var(--muted); }
.scheduling-policy-tabs { display:grid; grid-template-columns:repeat(4,minmax(0,1fr)); gap:0; border-bottom:1px solid var(--line); margin:24px 0 16px; }
.scheduling-policy-tabs button { min-width:0; border:0; border-bottom:3px solid transparent; background:transparent; padding:12px 8px; color:var(--muted); font-size:14px; line-height:1.6; }
.scheduling-policy-tabs button span { display:block; font:12px Georgia,serif; }
.scheduling-policy-tabs [aria-selected="true"] { color:var(--accent); border-bottom-color:var(--accent); font-weight:600; }
.scheduling-policy-title { font-size:23px; margin:0 0 10px; }
.scheduling-basics-page .intro { padding-top: 30px; padding-bottom: 24px; }
.scheduling-basics-page .scheduling-policy-tabs { margin: 20px 0 0; }
.scheduling-basics-page section[id] { scroll-margin-top: 24px; }
.scheduling-strategy-summary { font-size: 17px; margin: 0 0 8px; max-width: 850px; }
.scheduling-conditions { color: var(--muted); font-size: 12px; margin: 0 0 14px; }
.scheduling-basics-page .rr-toolbar { padding: 4px 0 14px; }
.scheduling-basics-page #rr-position { margin: 2px 0 10px; }
.scheduling-basics-page .rr-event { min-height: 0; margin: 8px 0 18px; }
.scheduling-basics-page .rr-event h3 { margin-bottom: 6px; }
.scheduling-basics-page .rr-flow { min-height: 190px; }
.scheduling-basics-page .rr-transport .icon-button { width: 44px; height: 44px; flex-shrink: 0; }
.scheduling-basics-page .rr-demo .scheduling-reference { border-top: 1px solid var(--line); margin-top: 8px; }
.scheduling-reference summary { min-height: 44px; display: flex; align-items: center; cursor: pointer; font-size: 14px; }
.scheduling-reference .definition { font-size: 14px; line-height: 1.8; }
.scheduling-reference .model-note { margin: 12px 0 18px; }
.scheduling-basics-page .process-homework-link { border-top: 1px solid var(--line); padding-top: 20px; margin-top: 28px; }
@media (max-width: 760px) {
  .scheduling-basics-page .scheduling-policy-tabs button span { display: none; }
  .scheduling-basics-page .scheduling-policy-tabs button { min-height: 44px; }
  .scheduling-basics-page .rr-toolbar { flex-wrap: wrap; }
  .scheduling-basics-page .rr-flow { min-height: 0; }
  .scheduling-basics-page .rr-event { min-height: 0; }
  .scheduling-basics-page .rr-demo .section-heading { align-items: start; }
  .scheduling-basics-page .rr-clock { align-self: start; }
}
@media(max-width:700px) { .scheduling-policy-tabs { grid-template-columns:repeat(2,minmax(0,1fr)); } }
.state-section, .pcb-section, .related-section { border-top: 1px solid var(--line); padding-top: 26px; }
.section-heading { display: flex; align-items: end; justify-content: space-between; gap: 24px; margin-bottom: 22px; }
h2 { font-size: 25px; line-height: 1.5; font-weight: 600; margin-top: 5px; }
.section-heading > p { color: var(--muted); font-size: 13px; }
.state-workbench { display: grid; grid-template-columns: minmax(0, 1fr) 276px; align-items: stretch; }
.diagram-surface { min-width: 0; background-color: var(--surface); background-image: radial-gradient(#dce4de .8px, transparent .8px); background-size: 18px 18px; padding: 16px 14px 12px; }
.diagram { display: block; width: 100%; height: auto; }
.diagram-mobile { display: none; }
.diagram-node, .diagram-edge { cursor: pointer; outline: none; }
.diagram-node circle { fill: #fff; stroke: #a6b6af; stroke-width: 1.5; transition: fill .15s, stroke .15s; }
.node-label { fill: var(--ink); font-size: 19px; font-weight: 600; }
.node-english { fill: var(--muted); font: 11px Georgia, serif; }
.diagram-node:hover circle { stroke: var(--accent); stroke-width: 2.5; }
.diagram-node[aria-pressed="true"] circle { fill: var(--accent); stroke: var(--accent); }
.diagram-node[aria-pressed="true"] text { fill: #fff; }
.diagram-node:focus-visible circle { stroke: var(--warm); stroke-width: 4; }
.edge-hit { stroke: transparent; stroke-width: 24; fill: none; }
.edge-line { stroke: #71867c; stroke-width: 1.8; fill: none; pointer-events: none; }
.edge-label-bg { fill: var(--surface); }
.edge-label { fill: #4e6056; font-size: 15px; }
.diagram-edge:hover .edge-line, .diagram-edge[aria-pressed="true"] .edge-line { stroke: var(--accent); stroke-width: 3; }
.diagram-edge:hover .edge-label, .diagram-edge[aria-pressed="true"] .edge-label { fill: var(--accent); font-weight: 600; }
.diagram-edge:focus-visible .edge-label-bg { stroke: var(--warm); stroke-width: 2; }
.diagram-caption { font-size: 11px; text-align: center; color: var(--muted); margin-top: 4px; }
.state-detail { padding: 25px 0 20px 26px; border-left: 1px solid var(--line); min-height: 370px; }
.detail-kicker { font-size: 12px; color: var(--accent); margin-bottom: 12px; }
.state-detail h3 { font-size: 25px; line-height: 1.4; margin-bottom: 14px; font-weight: 600; }
.state-detail > p:not(.detail-kicker):not(.detail-state) { font-size: 14px; }
.detail-state { font-size: 12px; color: var(--accent); margin: -5px 0 12px; }
.detail-reason { border-top: 1px solid var(--line); padding-top: 16px; margin-top: 22px; }
.detail-reason > span { color: var(--warm); font-size: 12px; font-weight: 600; }
.detail-reason p { color: var(--muted); font-size: 13px; margin-top: 6px; }
.story { margin-top: 26px; }
.story-heading { display: flex; align-items: baseline; justify-content: space-between; gap: 16px; }
.story-heading h3 { font-size: 15px; font-weight: 600; }
.story-heading p { font-size: 11px; color: var(--muted); }
.story-steps { display: grid; grid-template-columns: repeat(7, minmax(0, 1fr)); padding: 0; margin: 14px 0 0; list-style: none; gap: 8px; }
.story-steps button { width: 100%; min-height: 104px; text-align: left; border: 1px solid var(--line); border-radius: 4px; background: #fff; color: var(--ink); padding: 12px; }
.story-steps button:hover { border-color: var(--accent); }
.story-steps button[aria-pressed="true"] { background: var(--accent-soft); border-color: var(--accent); }
.step-number { display: block; color: var(--muted); font: 12px/1.5 Georgia, serif; }
.step-title { display: block; font-size: 13px; font-weight: 600; margin-top: 5px; }
.step-state { display: block; font-size: 11px; color: var(--muted); }
.story-detail { margin-top: 16px; padding: 14px 0 0 14px; border-left: 2px solid #b6c9bd; min-height: 94px; max-width: 780px; font-size: 14px; }
.story-detail .detail-kicker { margin-bottom: 4px; }
.pcb-section { margin-top: 44px; }
.section-description { color: var(--muted); max-width: 760px; font-size: 14px; margin-bottom: 20px; }
.pcb-table { width: 100%; border-collapse: collapse; text-align: left; font-size: 14px; table-layout: fixed; }
.pcb-table caption { caption-side: bottom; text-align: left; padding-top: 10px; color: var(--muted); font-size: 11px; }
.pcb-table thead { background: var(--surface); font-size: 12px; color: var(--muted); }
.pcb-table th, .pcb-table td { padding: 14px 18px; border-bottom: 1px solid var(--line); vertical-align: top; overflow-wrap: anywhere; }
.pcb-table th:first-child { width: 23%; }
.pcb-table th:nth-child(2) { width: 33%; }
.pcb-table tbody th { font-weight: 500; }
.pcb-table tbody th span { display: block; font: 12px/1.6 Georgia, serif; color: var(--muted); margin-top: 3px; }
.pcb-table td:last-child { color: var(--muted); }
.related-section { margin-top: 44px; }
.concepts { display: grid; grid-template-columns: repeat(4, minmax(0, 1fr)); gap: 28px; margin: 0; }
.concepts > div { border-top: 2px solid #b6c9bd; padding-top: 14px; }
.concepts dt { font-size: 15px; font-weight: 600; }
.concepts dt span { display: block; font: 13px/1.6 Georgia, serif; color: var(--muted); margin-top: 3px; }
.concepts dd { font-size: 13px; color: var(--muted); margin: 12px 0 0; }
footer { display: flex; justify-content: space-between; gap: 16px; margin-top: 46px; padding: 22px 0 28px; border-top: 1px solid var(--line); font-size: 12px; color: var(--muted); }
.wiki-sidebar { position: fixed; inset: 0 auto 0 max(0px, calc((100vw - 1440px) / 2)); width: 232px; max-width: none; height: 100dvh; max-height: none; margin: 0; padding: 28px 18px; border: 0; border-right: 1px solid var(--line); background: #fafbf9; color: var(--ink); overflow-y: auto; overscroll-behavior: contain; }
.sidebar-heading { display: flex; justify-content: space-between; align-items: start; gap: 12px; padding: 0 10px 30px; }
.wiki-sidebar .brand { flex-wrap: wrap; }
.wiki-sidebar .brand-caption { flex-basis: 100%; margin: 9px 0 0; }
.knowledge-nav { font-size: 13px; }
.knowledge-topic { margin-bottom: 18px; }
.knowledge-topic summary { padding: 10px 12px; cursor: pointer; font-size: 12px; font-weight: 600; color: #46584e; }
.knowledge-topic summary::marker { color: #83998c; font-size: 10px; }
.knowledge-topic summary:hover { color: var(--accent); }
.knowledge-topic summary:focus-visible { outline: 2px solid var(--accent); outline-offset: 2px; }
.topic-pages { margin: 4px 0 0 19px; border-left: 1px solid var(--line); }
.topic-pages a { display: block; position: relative; padding: 9px 12px 9px 16px; min-height: 40px; margin-left: -1px; border-left: 2px solid transparent; white-space: nowrap; overflow: hidden; text-overflow: ellipsis; }
.topic-pages a:hover { background: #eef3ef; }
.topic-pages a[aria-current="page"] { color: var(--accent); font-weight: 600; background: var(--accent-soft); border-left-color: var(--accent); }
.topic-pages a:focus-visible { outline-offset: -2px; }
.wiki-sidebar::backdrop { background: rgb(25 35 29 / .3); }
body.menu-is-open { overflow: hidden; }
.inline-link { color: var(--accent); text-decoration: underline; text-underline-offset: 3px; }
.process-homework-link { margin-top: 18px; font-size: 14px; }
.process-page [hidden] { display: none; }
.process-page section[id], .process-page details[id], .process-page #context-switch { scroll-margin-top: 24px; }
.process-page .intro { padding: 30px 0 24px; }
.process-page .story { margin: 0 0 18px; }
.process-story-controls { display: flex; flex-wrap: wrap; gap: 8px; }
.process-story-controls button { min-height: 44px; padding: 8px 12px; border: 1px solid var(--line); border-radius: 4px; background: #fff; color: var(--accent); font: inherit; font-size: 13px; }
.process-story-controls button:hover { background: var(--accent-soft); border-color: var(--accent); }
.process-story-controls button:disabled { opacity: .4; cursor: default; }
.story-sequence-scroll { position: relative; overflow-x: auto; }
.process-page .story-steps { grid-template-columns: repeat(7, minmax(120px, 1fr)); }
.process-page .story-steps button { min-height: 84px; height: 100%; padding: 10px; }
.process-page .state-detail { grid-column: 2; grid-row: 1; min-height: 0; padding-top: 18px; }
.process-page .diagram-surface { grid-column: 1; grid-row: 1; }
.process-page .diagram-edge:hover:not([aria-pressed="true"]) .edge-line { stroke: var(--muted); stroke-width: 2.2; }
.process-page .diagram-edge:hover:not([aria-pressed="true"]) .edge-label { fill: var(--ink); font-weight: 400; }
.process-state-summary { margin-top: 18px; font-size: 14px; color: var(--muted); max-width: 850px; }
.process-context { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 24px; margin: 22px 0; }
.process-context > div { border-left: 2px solid #b6c9bd; padding-left: 16px; }
.process-context dt { font-size: 14px; color: var(--muted); }
.process-context dd { font-size: 20px; margin: 8px 0 0; }
.process-context dd span { display: block; font-size: 14px; color: var(--muted); margin-top: 6px; }
.process-reference { border-bottom: 1px solid var(--line); }
.process-reference summary { padding: 10px 0; min-height: 44px; font-size: 14px; cursor: pointer; }
.process-reference > p { margin: 8px 0 16px; font-size: 14px; color: var(--muted); }
.process-page .state-detail .process-reference { margin-top: 14px; }
.process-page summary:focus-visible, .story-sequence-scroll:focus-visible, .pcb-reference-scroll:focus-visible { outline: 2px solid var(--accent); outline-offset: 3px; }
.pcb-reference-scroll { overflow-x: auto; padding-bottom: 12px; }
.process-page .pcb-table { min-width: 620px; }
@media (max-width: 1240px) {
  .process-page .state-detail { grid-column: 1; grid-row: 1; padding: 16px 0; }
  .process-page .diagram-surface { grid-column: 1; grid-row: 2; }
}
@media (max-width: 760px) {
  .process-page .story-heading { align-items: stretch; gap: 10px; }
  .process-page .state-detail h3 { margin-bottom: 8px; }
  .process-context { grid-template-columns: 1fr; gap: 18px; }
}
.hw-meta { display: flex; flex-wrap: wrap; gap: 12px 32px; margin-top: 24px; font-size: 13px; }
.hw-meta dt { color: var(--muted); }
.hw-meta dd { margin: 3px 0 0; }
.hw-back { margin-top: 22px; font-size: 14px; }
.hw-section { border-top: 1px solid var(--line); padding: 28px 0 34px; }
.hw-section h2 { font-size: 23px; margin-bottom: 18px; }
.hw-section h3 { font-size: 17px; margin: 22px 0 10px; }
.hw-section p { font-size: 14px; margin: 14px 0; }
.hw-page code { font-family: Consolas, "Liberation Mono", monospace; font-size: .9em; overflow-wrap: anywhere; }
.hw-page pre { max-width: 100%; overflow-x: auto; padding: 16px 18px; background: var(--surface); border-left: 2px solid #b6c9bd; font-size: 14px; line-height: 1.8; margin: 16px 0; }
.hw-page pre code { overflow-wrap: normal; }
.hw-argument-parts, .hw-argument-examples { margin: 16px 0 26px; font-size: 14px; }
.hw-argument-parts > div, .hw-argument-examples > div { display: grid; grid-template-columns: 120px minmax(0, 1fr); gap: 12px 24px; padding: 16px 0; border-bottom: 1px solid var(--line); }
.hw-argument-parts dt, .hw-argument-examples dt { font-weight: 600; color: var(--accent); }
.hw-argument-parts dd, .hw-argument-examples dd { margin: 0; line-height: 1.9; }
.hw-argument-examples > div { grid-template-columns: 88px minmax(0, 1fr); }
.hw-argument-examples strong { font-size: 14px; font-weight: 600; }
.hw-page .hw-argument-examples p { margin: 6px 0 0; }
@media (max-width: 760px) {
  .hw-argument-parts > div { grid-template-columns: 1fr; gap: 6px; }
  .hw-argument-examples > div { grid-template-columns: 64px minmax(0, 1fr); gap: 12px; }
}
.hw-table-wrap { overflow-x: auto; }
.hw-table { width: 100%; border-collapse: collapse; min-width: 600px; font-size: 13px; }
.hw-table caption { text-align: left; color: var(--muted); margin-bottom: 12px; }
.hw-table th, .hw-table td { text-align: left; vertical-align: top; padding: 12px; border-bottom: 1px solid var(--line); }
.hw-table thead { background: var(--surface); }
.hw-table th { font-weight: 500; }
.hw-table th:first-child { width: 70px; }
.hw-table td:last-child { width: 180px; }
.hw-rules { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 24px 32px; margin-top: 28px; }
.hw-rules > div { min-width: 0; }
.hw-rules dt { font-size: 14px; color: var(--accent); }
.hw-rules dd { font-size: 13px; color: var(--muted); margin: 8px 0 0; }
.hw-questions { padding-left: 24px; }
.hw-questions li { padding: 6px 0 20px 8px; border-bottom: 1px solid var(--line); }
.hw-questions li::marker { color: var(--accent); font-size: 14px; }
.hw-questions h3 { margin-top: 18px; }
@media (max-width: 760px) {
  .hw-section h2 { font-size: 21px; }
  .hw-rules { grid-template-columns: 1fr; gap: 20px; }
  .hw-page pre { padding: 12px; font-size: 12px; }
}
.api-hw-page { --api-hw-color: #126756; }
.api-hw-page #generator, .api-hw-page #output { --api-hw-color: #275a78; }
.api-hw-page #coding, .api-hw-page #questions { --api-hw-color: #9b423b; }
.scheduling-hw-page #metrics { --api-hw-color: #275a78; }
.scheduling-hw-page #tasks { --api-hw-color: #9b423b; }
.scheduling-hw-topics { display: flex; flex-wrap: wrap; gap: 12px 24px; margin-top: 22px; font-size: 14px; }
.scheduling-hw-page .knowledge-nav a.scheduling-homework-topic { color: var(--accent); background: var(--accent-soft); }
.scheduling-hw-group { margin-top: 36px; }
.scheduling-hw-group > h3 { font-size: 20px; margin: 0 0 18px; padding-bottom: 14px; border-bottom: 2px solid var(--line); }
.scheduling-hw-page footer { flex-wrap: wrap; justify-content: flex-start; gap: 12px 24px; }
.api-hw-outline { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 24px; margin-top: 30px; }
.api-hw-outline a { display: grid; gap: 7px; border-top: 3px solid #126756; padding: 14px 0; }
.api-hw-outline a:nth-child(2) { border-color: #275a78; }
.api-hw-outline a:nth-child(3) { border-color: #9b423b; }
.api-hw-outline span { font: 14px Consolas, monospace; color: var(--muted); }
.api-hw-outline strong { font-size: 16px; font-weight: 600; }
.api-hw-outline small { font-size: 12px; color: var(--muted); }
.api-hw-outline a:hover strong { text-decoration: underline; text-underline-offset: 4px; }
.api-hw-page .hw-section { padding-top: 36px; }
.api-hw-section-heading { border-left: 4px solid var(--api-hw-color); padding-left: 18px; margin-bottom: 24px; }
.api-hw-section-heading .section-index { color: var(--api-hw-color); margin: 0 0 8px; }
.api-hw-section-heading h2 { margin: 0; }
.api-hw-page pre { border: 1px solid #dce2df; border-left: 3px solid var(--api-hw-color); border-radius: 4px; background: #f7f8fa; }
.api-hw-page pre.api-hw-terminal { background: #202928; color: #edf3f0; border-color: #202928; border-left-color: var(--api-hw-color); }
.api-hw-page .hw-rules { border-top: 1px solid var(--line); border-bottom: 1px solid var(--line); padding: 20px 0; margin-bottom: 28px; }
.api-hw-page .hw-rules dt { color: var(--api-hw-color); }
.api-hw-example { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 28px; margin: 30px 0; }
.api-hw-example > div { min-width: 0; }
.api-hw-example h3 { margin-top: 0; }
.api-hw-page #tree-tasks, .api-hw-page #generator-tasks { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 0 28px; padding: 0; list-style: none; counter-reset: api-hw-task; }
.api-hw-page #tree-tasks > li, .api-hw-page #generator-tasks > li { min-width: 0; padding: 20px 0; counter-increment: api-hw-task; border-top: 2px solid var(--line); border-bottom: 0; }
.api-hw-page #tree-tasks h3, .api-hw-page #generator-tasks h3 { margin-top: 0; }
.api-hw-page #tree-tasks h3::before, .api-hw-page #generator-tasks h3::before { content: counter(api-hw-task, decimal-leading-zero) " / "; color: var(--api-hw-color); font: 14px Consolas, monospace; }
.api-hw-page .api-hw-coding-tasks { list-style: none; padding: 0; margin-top: 28px; }
.api-hw-page .api-hw-coding-tasks > li { padding: 28px 0 32px; border-top: 1px solid var(--line); border-bottom: 0; }
.api-hw-task-heading { display: grid; grid-template-columns: 46px minmax(0, 1fr); gap: 14px; align-items: start; }
.api-hw-task-number { font: 30px/1.2 Georgia, serif; color: var(--api-hw-color); }
.api-hw-page .api-hw-task-api { color: var(--api-hw-color); font: 12px/1.6 Consolas, "Liberation Mono", monospace; margin: 0 0 6px; }
.api-hw-page .api-hw-task-heading h3 { font-size: 20px; margin: 0; }
.api-hw-task-body { display: grid; grid-template-columns: minmax(0, 1.6fr) minmax(0, 1fr); gap: 28px; margin: 22px 0 0 60px; }
.api-hw-task-body > div { min-width: 0; }
.api-hw-task-body > div:last-child { border-left: 2px solid #ddc2be; padding-left: 18px; }
.api-hw-task-body dt { font-size: 12px; font-weight: 600; color: var(--api-hw-color); margin-bottom: 12px; }
.api-hw-task-body dd { font-size: 14px; line-height: 1.9; margin: 0; }
.api-hw-task-body ul { padding-left: 18px; margin: 0; }
.api-hw-page .api-hw-task-body li { padding: 0; margin: 0 0 10px; border: 0; }
@media (max-width: 1240px) {
  .api-hw-example, .api-hw-task-body { grid-template-columns: 1fr; }
  .api-hw-task-body { gap: 16px; }
}
@media (max-width: 760px) {
  .api-hw-outline { gap: 12px; }
  .api-hw-outline strong { font-size: 14px; }
  .api-hw-outline small { font-size: 11px; }
  .api-hw-page #tree-tasks, .api-hw-page #generator-tasks { grid-template-columns: 1fr; }
  .api-hw-task-body { margin-left: 0; }
  .api-hw-page .api-hw-task-heading h3 { font-size: 18px; }
}
.knowledge-related { border-top: 1px solid var(--line); margin-top: 40px; padding-top: 22px; }
.knowledge-related h2 { font-size: 19px; margin-bottom: 14px; }
.knowledge-link { display: flex; justify-content: space-between; align-items: center; gap: 14px; padding: 12px 0; }
.knowledge-link > div { min-width: 0; }
.knowledge-link h3 { font-size: 15px; font-weight: 500; }
.knowledge-link p { font-size: 13px; color: var(--muted); margin-top: 4px; }
.knowledge-link > span { flex-shrink: 0; font-size: 21px; color: var(--accent); }
.rr-demo, .rr-rules { border-top: 1px solid var(--line); padding-top: 26px; }
.rr-clock { white-space: nowrap; }
.rr-clock strong { color: var(--ink); font: 28px Georgia, serif; display: inline-block; width: 24px; text-align: center; margin: 0 5px; }
.rr-toolbar { display: flex; align-items: center; gap: 32px; padding: 14px 0 20px; }
.policy-note { color: var(--muted); font-size: 13px; }
.policy-note span { color: #b6c9bd; margin: 0 10px; }
.rr-transport { display: flex; gap: 8px; }
.icon-button { width: 44px; height: 44px; display: grid; place-items: center; border: 1px solid var(--line); border-radius: 4px; background: #fff; color: var(--ink); font: 24px/1 Georgia, serif; }
.icon-button.primary { background: var(--accent); border-color: var(--accent); color: #fff; font-size: 20px; }
.icon-button:hover { border-color: var(--accent); }
.icon-button:disabled { opacity: .35; cursor: default; }
.quantum-control { display: flex; align-items: center; gap: 16px; font-size: 13px; }
.quantum-control > span { white-space: nowrap; }
.quantum-control output { color: var(--accent); font-size: 19px; display: inline-block; min-width: 22px; text-align: center; margin-left: 6px; }
.quantum-control input { width: 150px; }
input[type="range"] { accent-color: var(--accent); cursor: pointer; min-height: 28px; }
input:focus-visible, select:focus-visible { outline: 2px solid var(--accent); outline-offset: 4px; }
.speed-control { display: flex; align-items: center; gap: 10px; color: var(--muted); font-size: 12px; margin-left: auto; }
.speed-control select { font: inherit; background: #fff; border: 1px solid var(--line); border-radius: 4px; padding: 8px; color: var(--ink); }
.sjf-scenario-control { display: flex; align-items: center; gap: 10px; font-size: 12px; color: var(--muted); }
.sjf-scenario-control select { font: inherit; background: #fff; border: 1px solid var(--line); border-radius: 4px; padding: 8px; color: var(--ink); }
.sjf-arrival-note { font-size: 12px; color: var(--muted); margin-bottom: 16px; }
.rr-flow { display: grid; grid-template-columns: 1fr 36px 1.15fr 36px 1fr; align-items: stretch; background: var(--surface); padding: 25px 24px; min-height: 213px; }
.rr-lane, .rr-cpu { min-width: 0; }
.lane-heading { display: flex; justify-content: space-between; align-items: baseline; gap: 10px; }
.lane-heading h3 { font-size: 14px; font-weight: 500; }
.lane-heading > span { color: var(--muted); font-size: 11px; }
.lane-content { min-height: 112px; display: flex; flex-wrap: wrap; align-content: center; gap: 10px; }
.process-token { display: flex; flex-direction: column; justify-content: center; padding: 12px 18px; min-width: 85px; min-height: 83px; border-radius: 4px; border: 1px solid; }
.process-token strong { font: 26px/1.3 Georgia, serif; }
.process-token > span { font-size: 12px; margin-top: 4px; }
.process-a { color: #126756; background: #e0eee6; border-color: #afcdbb; }
.process-b { color: #824e25; background: #f4e9dc; border-color: #d5ba97; }
.flow-arrow { align-self: center; justify-self: center; color: #80938a; font-size: 24px; }
.rr-cpu { padding: 0 22px; border-left: 1px solid var(--line); border-right: 1px solid var(--line); }
.cpu-content { display: flex; align-items: center; min-height: 112px; }
.rr-cpu .process-token { min-width: 100%; flex-direction: row; justify-content: space-between; align-items: center; }
.lane-empty { color: var(--muted); font-size: 12px; }
.slice-readout { display: flex; flex-direction: column; gap: 6px; font-size: 11px; color: var(--muted); }
.slice-readout progress { width: 100%; height: 5px; accent-color: var(--accent); border: 0; }
.slice-readout progress::-webkit-progress-bar { background: #dae2dc; }
.slice-readout progress::-webkit-progress-value { background: var(--accent); }
.rr-timeline-section { padding-top: 24px; }
.timeline-heading { display: flex; justify-content: space-between; align-items: center; gap: 16px; margin-bottom: 14px; }
.timeline-heading h3 { font-size: 14px; font-weight: 500; }
.process-legend { display: flex; gap: 16px; font-size: 11px; color: var(--muted); }
.process-legend .process-a, .process-legend .process-b { background: none; }
.rr-timeline { position: relative; height: 45px; background: repeating-linear-gradient(to right, transparent 0, transparent calc(12.5% - 1px), #dce2df calc(12.5% - 1px), #dce2df 12.5%), #f3f6f4; border: 1px solid var(--line); }
.timeline-segment { position: absolute; top: 0; bottom: 0; display: grid; place-items: center; border-right: 2px solid #fff; font: 17px Georgia, serif; }
.timeline-cursor { position: absolute; top: -5px; bottom: -5px; width: 2px; background: var(--ink); transform: translateX(-1px); }
.rr-ticks { display: flex; justify-content: space-between; color: var(--muted); font: 11px/1.5 Georgia, serif; padding-top: 8px; }
.position-slider { display: block; width: 100%; margin: 6px 0 0; }
.rr-event { border-left: 2px solid #b6c9bd; margin-top: 20px; padding: 5px 0 5px 18px; min-height: 135px; max-width: 850px; }
.rr-event .detail-kicker { margin-bottom: 7px; }
.rr-event h3 { font-size: 18px; font-weight: 500; margin-bottom: 7px; }
.rr-event > p:last-child { font-size: 14px; color: var(--muted); }
.rr-summary { display: flex; flex-wrap: wrap; gap: 24px; padding: 16px 0; border-top: 1px solid var(--line); margin-top: 12px; font-size: 12px; color: var(--muted); }
.rr-summary strong { margin-left: 8px; font: 19px Georgia, serif; color: var(--ink); }
.rr-rules { margin-top: 30px; }
.rr-concepts { grid-template-columns: repeat(3, minmax(0, 1fr)); }
.rr-tradeoff { margin-top: 28px; border-top: 1px solid var(--line); padding-top: 20px; max-width: 850px; }
.rr-tradeoff h3 { font-size: 17px; font-weight: 500; margin-bottom: 10px; }
.rr-tradeoff p { color: var(--muted); font-size: 14px; }
.mlfq-demo { border-top: 1px solid var(--line); padding-top: 26px; }
.mlfq-page [hidden] { display: none; }
.mlfq-page .intro { padding-top: 30px; padding-bottom: 24px; }
.mlfq-page .intro h1 span { font-size: 22px; }
.mlfq-page section[id] { scroll-margin-top: 24px; }
.mlfq-page .rr-transport .icon-button { width: 44px; height: 44px; flex-shrink: 0; }
.mlfq-page .mlfq-toolbar { padding: 4px 0 14px; }
.mlfq-page .mlfq-scene-note { font-size: 14px; margin: 0 0 8px; }
.mlfq-conditions { color: var(--muted); font-size: 12px; margin: 0 0 18px; max-width: 850px; }
.mlfq-page .mlfq-event { min-height: 0; margin: 12px 0 18px; }
#mlfq-event-reason { color: var(--muted); font-size: 14px; margin-top: 8px; }
.mlfq-page .mlfq-event ol { margin: 0 0 12px; padding-left: 22px; color: var(--muted); font-size: 13px; }
.mlfq-page .mlfq-event li[aria-current="step"] { color: var(--accent); }
.mlfq-reference { border-top: 1px solid var(--line); margin-top: 12px; }
.mlfq-reference summary, #mlfq-other-events summary { min-height: 44px; padding: 10px 0; cursor: pointer; font-size: 14px; }
#mlfq-other-events summary { font-size: 13px; color: var(--accent); }
.mlfq-reference > p { max-width: 850px; margin-bottom: 14px; font-size: 14px; color: var(--muted); }
.mlfq-reference .model-note { margin: 0 0 16px; }
.mlfq-reference .mlfq-ledger-scroll { margin-bottom: 16px; }
.mlfq-page summary:focus-visible { outline: 2px solid var(--accent); outline-offset: 3px; }
.mlfq-page .process-homework-link { border-top: 1px solid var(--line); margin-top: 28px; padding-top: 20px; }
@media (max-width: 760px) {
  .mlfq-page .mlfq-toolbar { display: grid; grid-template-columns: minmax(0, 1fr) auto; gap: 12px; }
  .mlfq-page .mlfq-toolbar .rr-transport { grid-column: 1; grid-row: 1; }
  .mlfq-page .mlfq-toolbar .speed-control { grid-column: 2; grid-row: 1; }
  .mlfq-page .mlfq-scene { grid-column: 1 / -1; grid-row: 2; min-width: 0; }
  .mlfq-page .mlfq-scene select { flex: 1; width: 0; }
  .mlfq-page .mlfq-boost { grid-column: 1 / -1; grid-row: 3; min-height: 44px; }
  .mlfq-page .section-heading { align-items: start; }
  .mlfq-page .rr-clock { align-self: start; }
}
.mlfq-page .rr-clock strong { width: 2ch; }
.mlfq-toolbar { flex-wrap: wrap; gap: 16px 24px; }
.mlfq-scene, .mlfq-boost, .mlfq-checkpoint { display: flex; align-items: center; gap: 10px; font-size: 12px; color: var(--muted); }
.mlfq-toolbar select, .mlfq-checkpoint select { max-width: 100%; min-width: 0; height: 36px; font: inherit; color: var(--ink); background: #fff; border: 1px solid var(--line); border-radius: 4px; padding: 4px 8px; }
.mlfq-boost { cursor: pointer; }
.mlfq-boost input { width: 16px; height: 16px; accent-color: var(--accent); margin: 0; }
.mlfq-scene-note { color: var(--muted); font-size: 12px; margin: 18px 0; max-width: 850px; }
.mlfq-stage { display: grid; grid-template-columns: minmax(0, 1.4fr) minmax(0, 1fr); gap: 28px; background: var(--surface); padding: 22px 24px; overflow: hidden; }
.mlfq-column-label { display: flex; align-items: baseline; justify-content: space-between; gap: 8px; font-size: 14px; font-weight: 500; margin-bottom: 14px; }
.mlfq-column-label span { font-size: 11px; font-weight: 400; color: var(--muted); }
.mlfq-level { border-top: 1px solid var(--line); border-left: 3px solid #c7ceca; padding: 12px 12px 8px; min-height: 114px; }
.mlfq-level.selected { border-left-color: var(--accent); background: #eaf0ec; }
.mlfq-level-heading { display: flex; align-items: center; justify-content: space-between; gap: 8px; }
.mlfq-level-heading h3 { font: 18px Georgia, serif; }
.mlfq-level-heading h3 span { margin-left: 10px; font: 11px "Microsoft YaHei", sans-serif; color: var(--muted); }
.mlfq-level-heading p { font-size: 11px; color: var(--muted); }
.mlfq-level-heading p span { padding: 0 4px; color: #aab5ae; }
.mlfq-queue { display: flex; flex-wrap: wrap; align-items: center; gap: 8px; padding-top: 10px; min-height: 64px; }
.mlfq-token { display: flex; flex-direction: column; justify-content: center; gap: 3px; min-width: 72px; min-height: 54px; padding: 7px 12px; border: 1px solid #c4cec7; border-radius: 3px; }
.mlfq-token strong { font: 22px/1.3 Georgia, serif; }
.mlfq-token span { font-size: 10px; white-space: nowrap; }
.mlfq-page .level-0 { --level-color: #126756; --level-bg: #e4efe9; }
.mlfq-page .level-1 { --level-color: #895325; --level-bg: #f4e9dc; }
.mlfq-page .level-2 { --level-color: #4e5d59; --level-bg: #e5e9e7; }
.mlfq-token, .mlfq-page .timeline-segment { color: var(--level-color); background: var(--level-bg); }
.mlfq-cpu { border-left: 1px solid var(--line); padding-left: 28px; min-width: 0; }
#mlfq-running { min-height: 76px; }
#mlfq-running .mlfq-token { min-height: 76px; flex-direction: row; align-items: center; justify-content: space-between; }
#mlfq-running .mlfq-token strong { font-size: 30px; }
.mlfq-meter { margin-top: 16px; }
.mlfq-meter p { display: flex; justify-content: space-between; gap: 8px; color: var(--muted); font-size: 12px; }
.mlfq-meter strong { font-weight: 500; color: var(--ink); }
.mlfq-meter progress { display: block; width: 100%; height: 5px; margin-top: 8px; border: 0; border-radius: 0; appearance: none; background: #dbe3dd; accent-color: var(--accent); }
.mlfq-meter progress::-webkit-progress-bar { background: #dbe3dd; }
.mlfq-meter progress::-webkit-progress-value { background: var(--accent); }
.mlfq-meter progress::-moz-progress-bar { background: var(--accent); }
#mlfq-budget::-webkit-progress-value { background: var(--warm); }
#mlfq-budget::-moz-progress-bar { background: var(--warm); }
.mlfq-next-rule { color: var(--muted); font-size: 11px; margin-top: 12px; }
.mlfq-availability { margin-top: 24px; border-top: 1px solid var(--line); padding-top: 14px; }
.mlfq-availability h3 { font-size: 12px; font-weight: 500; margin-bottom: 8px; }
.mlfq-availability p { color: var(--muted); font-size: 11px; }
.mlfq-timeline-heading { display: flex; justify-content: space-between; flex-wrap: wrap; gap: 10px; margin: 24px 0 12px; }
.mlfq-timeline-heading h3 { font-size: 14px; font-weight: 500; }
.mlfq-timeline-heading p { display: flex; gap: 16px; align-items: center; font-size: 10px; color: var(--muted); }
.level-key { border-left: 8px solid var(--level-color); padding-left: 5px; }
.mlfq-chart-scroll { overflow-x: auto; padding: 0 1px; }
.mlfq-chart { min-width: 640px; }
.mlfq-page .rr-timeline { height: 44px; background-image: none; }
.mlfq-page .timeline-segment { font-size: 11px; border-right: 1px solid #fff; }
.mlfq-page .level-idle { color: var(--muted); background: #f1f2f1; }
.mlfq-ticks { position: relative; height: 26px; margin: 4px 10px 0; font: 10px/1.5 Georgia, serif; color: var(--muted); }
.mlfq-ticks span { position: absolute; transform: translateX(-50%); }
.mlfq-page #mlfq-position { width: 100%; margin: 6px 0 16px; accent-color: var(--accent); }
.mlfq-checkpoint { max-width: 600px; }
.mlfq-checkpoint select { flex: 1; width: 0; }
.mlfq-checkpoint { white-space: nowrap; }
.mlfq-event { padding-left: 16px; border-left: 2px solid #b6c9bd; margin: 24px 0 18px; min-height: 148px; max-width: 850px; }
.mlfq-event h3 { font-size: 19px; font-weight: 500; }
.mlfq-event ul { margin: 8px 0 0; padding-left: 18px; color: var(--muted); font-size: 13px; }
.mlfq-event li + li { margin-top: 4px; }
.mlfq-ledger-scroll { overflow-x: auto; }
.mlfq-ledger { width: 100%; min-width: 460px; border-collapse: collapse; text-align: left; font-size: 12px; }
.mlfq-ledger caption { caption-side: bottom; text-align: left; padding-top: 10px; color: var(--muted); font-size: 11px; }
.mlfq-ledger th, .mlfq-ledger td { padding: 12px 10px; border-bottom: 1px solid var(--line); font-weight: 400; }
.mlfq-ledger thead { background: var(--surface); color: var(--muted); font-size: 11px; }
.mlfq-ledger tbody th { font: 17px Georgia, serif; }
.mlfq-ledger tr.active { background: #eff5f0; color: var(--accent); }
.mlfq-comparison { margin-top: 26px; border-top: 1px solid var(--line); padding-top: 20px; }
.mlfq-comparison h3 { font-size: 17px; font-weight: 500; }
.mlfq-comparison p { margin-top: 8px; color: var(--muted); font-size: 13px; max-width: 850px; }
.mlfq-comparison dl { display: flex; gap: 48px; margin: 16px 0; }
.mlfq-comparison dt { font-size: 12px; color: var(--muted); }
.mlfq-comparison dd { font: 26px Georgia, serif; margin: 6px 0 0; }
.mlfq-boundary-note { margin-top: 12px; font-size: 12px !important; }
.share-demo { border-top: 1px solid var(--line); padding-top: 26px; }
.share-page [hidden] { display: none; }
.share-page .intro { padding-top: 30px; padding-bottom: 24px; }
.share-page .intro h1 span { font-size: 22px; }
.share-page section[id] { scroll-margin-top: 24px; }
.share-page .rr-transport .icon-button { width: 44px; height: 44px; flex-shrink: 0; }
.share-targets { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 16px; margin: 0 0 12px; }
.share-targets > div { min-width: 0; border-top: 2px solid var(--share-color); padding-top: 10px; }
.share-targets dt { font-size: 13px; color: var(--muted); }
.share-targets dd { margin: 4px 0 0; font-size: 20px; color: var(--share-color); }
.share-page .share-workload { margin: 0 0 14px; }
.share-page .share-toolbar { padding: 4px 0 10px; }
.share-reference { border-top: 1px solid var(--line); margin-top: 12px; }
.share-reference summary { min-height: 44px; padding: 10px 0; cursor: pointer; font-size: 14px; }
.share-reference > p { max-width: 850px; color: var(--muted); font-size: 14px; margin-bottom: 14px; }
.share-reference .model-note { margin: 0 0 14px; }
.share-settings { margin: 0 0 10px; }
.share-settings-controls { display: flex; flex-wrap: wrap; gap: 12px 24px; margin-bottom: 14px; }
.share-settings-controls label { display: flex; align-items: center; gap: 10px; font-size: 13px; }
.share-settings-controls select { background: #fff; color: var(--ink); border: 1px solid var(--line); border-radius: 4px; padding: 8px; font: inherit; }
.share-page summary:focus-visible { outline: 2px solid var(--accent); outline-offset: 3px; }
.share-page .share-method-note { min-height: 60px; font-size: 13px; }
.share-page .share-decision { min-height: 80px; font-size: 13px; margin: 8px 0 0; }
.share-page .share-pass { margin-top: 14px; }
.share-page .share-observation { min-height: 0; }
@media (max-width: 760px) {
  .share-targets { gap: 10px; }
  .share-targets dd { font-size: 16px; }
  .share-page .share-toolbar { display: grid; grid-template-columns: minmax(0, 1fr) auto; gap: 12px; }
  .share-page .share-toolbar .rr-transport { grid-column: 1; grid-row: 1; }
  .share-page .share-toolbar > label:last-child { grid-column: 2; grid-row: 1; }
  .share-page .share-toolbar > label { min-width: 0; }
  .share-page .share-method-note, .share-page .share-decision { min-height: 0; }
  .share-page .share-demo .section-heading { align-items: start; }
  .share-page .rr-clock { align-self: start; }
}
.share-page .rr-clock strong { width: 3ch; }
.share-toolbar { flex-wrap: wrap; gap: 16px 24px; }
.share-toolbar label { display: flex; align-items: center; gap: 8px; font-size: 12px; color: var(--muted); }
.share-toolbar select { min-width: 0; height: 36px; font: inherit; color: var(--ink); background: #fff; border: 1px solid var(--line); border-radius: 4px; padding: 4px 8px; }
.share-workload { margin: 18px 0; font-size: 12px; color: var(--muted); }
.share-mechanisms { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 28px; background: var(--surface); padding: 24px; }
.share-mechanism { min-width: 0; }
.share-mechanism + .share-mechanism { border-left: 1px solid var(--line); padding-left: 28px; }
.share-mechanism h3 { font-size: 21px; font-weight: 500; margin: 6px 0; }
.share-method-note { font-size: 12px; color: var(--muted); min-height: 42px; }
.share-page .share-a { --share-color: #126756; --share-background: #e4efe9; }
.share-page .share-b { --share-color: #895325; --share-background: #f4e9dc; }
.share-page .share-c { --share-color: #4e5d59; --share-background: #e5e9e7; }
.share-ticket-pool { display: flex; position: relative; height: 78px; margin-top: 14px; }
.share-ticket-range { display: flex; flex-direction: column; align-items: center; justify-content: center; background: var(--share-background); color: var(--share-color); border-right: 2px solid var(--surface); min-width: 0; }
.share-ticket-range strong { font: 24px Georgia, serif; }
.share-ticket-range span { font: 12px Georgia, serif; margin-top: 8px; }
.share-ticket-range.selected { box-shadow: inset 0 -3px var(--share-color); }
.share-ticket-marker { position: absolute; top: -18px; transform: translateX(-50%); color: var(--ink); font-size: 14px; }
.share-winner { display: flex; justify-content: space-between; gap: 12px; margin-top: 18px; color: var(--muted); font-size: 12px; }
.share-winner strong { font: 26px Georgia, serif; margin-left: 8px; color: var(--ink); }
.share-decision { font-size: 12px; color: var(--muted); margin-top: 14px; min-height: 66px; }
.share-pass { width: 100%; table-layout: fixed; border-collapse: collapse; font-size: 13px; }
.share-pass th, .share-pass td { padding: 8px 4px; text-align: left; border-bottom: 1px solid var(--line); font-weight: 400; }
.share-pass thead { font-size: 10px; color: var(--muted); }
.share-pass tbody th { font: 18px Georgia, serif; }
.share-pass tr.selected { color: var(--accent); background: var(--accent-soft); }
.share-results-heading, .share-timeline-heading { display: flex; align-items: center; justify-content: space-between; flex-wrap: wrap; gap: 10px; margin: 24px 0 12px; }
.share-results-heading h3, .share-timeline-heading h3 { font-size: 14px; font-weight: 500; }
.share-results-heading p { display: flex; gap: 18px; color: var(--muted); font-size: 11px; }
.share-actual-key { border-left: 10px solid var(--accent); padding-left: 5px; }
.share-target-key { border-left: 2px dashed var(--ink); padding-left: 5px; }
.share-results { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 28px; }
.share-results h4 { font-size: 12px; font-weight: 500; color: var(--muted); margin: 0 0 12px; }
.share-results > section { min-width: 0; }
.share-allocation { margin-bottom: 18px; }
.share-allocation > div:first-child { display: flex; align-items: baseline; gap: 12px; margin-bottom: 6px; }
.share-allocation strong { font: 18px Georgia, serif; color: var(--share-color); }
.share-allocation span { font-size: 12px; }
.share-allocation small { font-size: 10px; color: var(--muted); margin-left: auto; }
.share-allocation-track { position: relative; height: 7px; background: var(--surface); }
.share-allocation-track span { display: block; height: 100%; background: var(--share-color); }
.share-allocation-track i { position: absolute; top: -3px; height: 13px; border-left: 2px dashed var(--ink); transform: translateX(-1px); }
.share-timeline-heading p { font-size: 11px; color: var(--muted); }
.share-sequence-scroll { overflow-x: auto; padding-right: 2px; }
.share-sequence-row { display: grid; grid-template-columns: 50px minmax(0, 1fr); align-items: center; margin-bottom: 6px; }
.share-sequence-row > span { font: 11px Georgia, "Microsoft YaHei", sans-serif; color: var(--muted); }
.share-rounds { display: grid; grid-template-columns: repeat(var(--rounds), minmax(0, 1fr)); position: relative; height: 30px; }
.share-round { display: grid; place-items: center; font: 11px Georgia, serif; color: var(--share-color); background: var(--share-background, var(--surface)); border-right: 1px solid #fff; }
.share-sequence-cursor { position: absolute; width: 2px; height: 34px; top: -2px; background: var(--ink); transform: translateX(-1px); }
.share-sequence-ticks { margin-left: 50px; position: relative; height: 24px; font: 10px Georgia, serif; color: var(--muted); }
.share-sequence-ticks span { position: absolute; top: 4px; transform: translateX(-50%); }
.share-sequence-ticks span:last-child { transform: translateX(-100%); }
.share-page #share-position { width: 100%; accent-color: var(--accent); margin: 8px 0; }
.share-observation { font-size: 12px; color: var(--muted); border-left: 2px solid #b6c9bd; padding-left: 12px; margin-top: 12px; min-height: 44px; }
.lde-page h1 span { display: block; font-size: 32px; margin: 8px 0 0; }
.lde-page [hidden] { display: none; }
.lde-page .intro { padding-top: 30px; padding-bottom: 24px; }
.lde-page .intro h1 span { display: inline-block; font-size: 20px; margin: 0 0 0 16px; }
.lde-page section[id] { scroll-margin-top: 24px; }
.lde-page .icon-button { min-width: 44px; min-height: 44px; flex-shrink: 0; }
.lde-scenarios { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 12px; margin: 0 0 16px; }
.lde-scenarios button { padding: 10px 16px; text-align: left; background: #fff; border: 1px solid var(--line); border-radius: 4px; color: var(--ink); font: inherit; }
.lde-scenarios strong, .lde-scenarios span { display: block; }
.lde-scenarios strong { font-size: 15px; font-weight: 500; }
.lde-scenarios span { font-size: 12px; color: var(--muted); margin-top: 4px; }
.lde-scenarios [aria-pressed="true"] { border-color: var(--accent); background: var(--accent-soft); color: var(--accent); }
.lde-scenarios [aria-pressed="true"] span, .lde-page .lde-stage-button[aria-pressed="true"] span { color: inherit; }
.lde-scenarios button:hover, .lde-page .lde-stage-button:hover { border-color: var(--accent); }
.lde-page :is(button, summary, select, input, [tabindex]):focus-visible { outline: 2px solid var(--accent); outline-offset: 3px; }
.lde-page .lde-scene-note { font-size: 14px; margin: 8px 0; }
.lde-conditions { color: var(--muted); font-size: 12px; margin: 0 0 12px; }
.lde-page .lde-toolbar { padding: 4px 0; }
.lde-progress { font-size: 12px; color: var(--muted); margin-left: auto; }
.lde-page .lde-event { min-height: 0; margin: 16px 0; }
.lde-page .lde-cpu-status { grid-template-columns: repeat(3, minmax(0, 1fr)); }
.lde-page .lde-cpu-status.lde-with-timer { grid-template-columns: repeat(4, minmax(0, 1fr)); }
.lde-page .lde-process-states { margin: 14px 0 22px; gap: 36px; }
.lde-reference { border-top: 1px solid var(--line); }
.lde-reference summary { padding: 12px 0; min-height: 44px; cursor: pointer; font-size: 14px; }
.lde-reference > p { max-width: 850px; color: var(--muted); font-size: 13px; margin: 0 0 14px; }
.lde-reference table { margin: 0 0 14px; }
.lde-comparison { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 30px; }
.lde-comparison h3 { font-size: 15px; font-weight: 500; margin-bottom: 12px; }
.lde-change { display: flex; align-items: center; gap: 16px; font-size: 17px; }
.lde-change span:not([aria-hidden]) { background: var(--surface); padding: 12px; }
.lde-comparison .lde-change + p { font-size: 13px; color: var(--muted); margin-top: 12px; }
.lde-next-topic { font-size: 14px; margin-top: 24px; }
@media (max-width: 760px) {
  .lde-page .intro h1 span { display: block; margin: 6px 0 0; }
  .lde-scenarios { grid-template-columns: 1fr; gap: 6px; }
  .lde-scenarios button { display: flex; flex-wrap: wrap; align-items: baseline; gap: 4px 12px; padding: 10px 12px; }
  .lde-scenarios span { margin: 0; }
  .lde-page .lde-toolbar { display: grid; grid-template-columns: minmax(0, 1fr) auto; gap: 12px; }
  .lde-page .lde-toolbar .rr-transport { grid-column: 1; grid-row: 1; }
  .lde-page .lde-toolbar > label:last-of-type { grid-column: 2; grid-row: 1; }
  .lde-page #lde-decision-control { grid-column: 1 / -1; grid-row: 2; }
  .lde-page .lde-progress { grid-column: 2; justify-self: end; margin: 0; }
  .lde-page .lde-toolbar label { min-width: 0; }
  .lde-page .lde-toolbar select { padding: 4px; }
  .lde-page .lde-cpu-status, .lde-page .lde-cpu-status.lde-with-timer { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .lde-page .lde-process-states { gap: 24px; }
  .lde-comparison { grid-template-columns: 1fr; gap: 24px; }
  .lde-change { gap: 8px; font-size: 15px; }
}
.lde-demo, .lde-entry-section { border-top: 1px solid var(--line); padding-top: 26px; }
.lde-toolbar { flex-wrap: wrap; gap: 16px 24px; }
.lde-toolbar label { display: flex; align-items: center; gap: 8px; color: var(--muted); font-size: 12px; }
.lde-toolbar select { min-width: 0; max-width: 100%; height: 36px; background: #fff; border: 1px solid var(--line); border-radius: 4px; padding: 4px 8px; font: inherit; color: var(--ink); }
.lde-toolbar [hidden] { display: none; }
.lde-scene-note { margin: 18px 0; font-size: 12px; color: var(--muted); max-width: 850px; }
.lde-cpu-status { display: grid; grid-template-columns: repeat(4, minmax(0, 1fr)); gap: 16px; border-top: 1px solid var(--line); margin: 20px 0; padding-top: 16px; }
.lde-cpu-status dt { color: var(--muted); font-size: 11px; }
.lde-cpu-status dd { margin: 6px 0 0; font-size: 18px; font-weight: 500; }
.lde-cpu-status div:nth-child(2) dd { color: var(--accent); }
.lde-diagram-scroll { overflow-x: auto; background: var(--surface); }
.lde-diagram { position: relative; }
.lde-phase-numbers, .lde-lane { display: grid; grid-template-columns: 84px repeat(var(--lde-stages), minmax(116px, 1fr)); align-items: center; }
.lde-phase-numbers { height: 32px; font: 11px Georgia, "Microsoft YaHei", sans-serif; color: var(--muted); text-align: center; }
.lde-phase-numbers > span:first-child { font-size: 10px; position: sticky; left: 0; z-index: 2; background: var(--surface); align-self: stretch; display: grid; place-items: center; }
.lde-lane { height: 100px; position: relative; z-index: 1; }
.lde-kernel { border-top: 1px dashed #c8d3cb; }
.lde-lane h3 { padding: 0 10px; font-size: 13px; font-weight: 500; margin: 0; position: sticky; left: 0; z-index: 2; align-self: stretch; display: flex; flex-direction: column; justify-content: center; background: var(--surface); }
.lde-lane h3 span { display: block; color: var(--muted); font-size: 10px; margin-top: 6px; }
.lde-path { position: absolute; left: 0; top: 32px; width: 100%; height: 200px; pointer-events: none; }
.lde-path polyline { fill: none; stroke-width: 2; vector-effect: non-scaling-stroke; }
.lde-planned-path { stroke: #b9c8bd; stroke-dasharray: 4 4; }
#lde-executed-path { stroke: var(--accent); }
.lde-stage-button { margin: 0 7px; min-width: 0; height: 62px; padding: 7px; border: 1px solid #c9d5cb; border-radius: 4px; background: #fff; color: var(--ink); }
.lde-stage-button span { display: block; font-size: 10px; color: var(--muted); }
.lde-stage-button strong { display: block; margin-top: 4px; font-size: 12px; font-weight: 500; }
.lde-stage-button[aria-pressed="true"] { background: var(--accent-soft); border: 2px solid var(--accent); color: var(--accent); }
.lde-kernel .lde-stage-button[aria-pressed="true"] { background: #f4e9dc; border-color: var(--warm); color: var(--warm); }
.lde-page #lde-position { width: 100%; margin: 14px 0 4px; accent-color: var(--accent); }
.lde-event { border-left: 2px solid #b6c9bd; padding-left: 16px; margin: 22px 0; max-width: 850px; min-height: 144px; }
.lde-event h3 { font-size: 19px; font-weight: 500; margin: 6px 0; }
.lde-event > p:last-child { color: var(--muted); font-size: 13px; }
.lde-context-detail { display: grid; grid-template-columns: minmax(0, .8fr) minmax(0, 1.4fr); gap: 30px; border-top: 1px solid var(--line); padding-top: 20px; }
.lde-context-detail h3, .lde-entry-note h3 { font-size: 15px; font-weight: 500; margin-bottom: 12px; }
.lde-process-states { display: flex; gap: 28px; margin: 0 0 16px; }
.lde-process-states dt { color: var(--muted); font-size: 11px; }
.lde-process-states dd { margin: 6px 0 0; font-size: 18px; }
.lde-caption { color: var(--muted); font-size: 11px; }
.lde-save-table, .lde-entry-table { width: 100%; table-layout: fixed; border-collapse: collapse; text-align: left; font-size: 12px; }
.lde-save-table th, .lde-save-table td, .lde-entry-table th, .lde-entry-table td { padding: 10px 8px; border-bottom: 1px solid var(--line); font-weight: 400; overflow-wrap: anywhere; }
.lde-save-table thead, .lde-entry-table thead { font-size: 11px; color: var(--muted); background: var(--surface); }
.lde-save-table th:first-child { width: 42px; }
.lde-save-table + .lde-caption { margin-top: 10px; }
.lde-entry-section { margin-top: 32px; }
.lde-entry-layout { display: grid; grid-template-columns: minmax(0, 1.3fr) minmax(0, 1fr); gap: 30px; }
.lde-entry-table caption { caption-side: bottom; text-align: left; padding-top: 10px; font-size: 11px; color: var(--muted); }
.lde-entry-table tr.active { background: var(--accent-soft); color: var(--accent); }
.lde-entry-note p { color: var(--muted); font-size: 13px; }
#lde-entry-current { color: var(--accent); border-left: 2px solid #b6c9bd; padding-left: 12px; margin-top: 18px; }
.api-page .lde-toolbar select { max-width: 285px; }
.api-page [hidden] { display: none; }
.api-page .intro { padding: 30px 0 24px; }
.api-page section[id] { scroll-margin-top: 24px; }
.api-page .rr-transport .icon-button { min-width: 44px; min-height: 44px; flex-shrink: 0; }
.api-scenario-title { font-size: 18px; font-weight: 500; margin: 18px 0 8px; }
.api-progress { margin-left: auto; color: var(--muted); font-size: 12px; white-space: nowrap; }
.api-page .api-event { min-height: 0; margin: 18px 0; }
.api-conditions, .api-descriptor-note { font-size: 13px; color: var(--muted); margin: 18px 0; max-width: 850px; }
.api-case-actions { display: flex; flex-wrap: wrap; gap: 12px; margin-top: 18px; }
.api-case-actions button, .api-case-button { min-height: 44px; padding: 10px 14px; border: 1px solid var(--line); border-radius: 4px; background: #fff; color: var(--accent); font: inherit; font-size: 13px; cursor: pointer; }
.api-case-actions button:hover, .api-case-button:hover { border-color: var(--accent); background: var(--accent-soft); }
.api-reference { border-bottom: 1px solid var(--line); }
.api-reference summary { min-height: 44px; padding: 10px 0; font-size: 14px; cursor: pointer; }
.api-reference > p { font-size: 13px; color: var(--muted); margin: 8px 0 16px; }
.api-page summary:focus-visible, .api-diagram-scroll:focus-visible, .api-contract-scroll:focus-visible { outline: 2px solid var(--accent); outline-offset: 3px; }
.api-contract-scroll { overflow-x: auto; }
.api-page .api-contract-table { min-width: 650px; }
.api-processes.api-single-process { grid-template-columns: 1fr; }
.api-single-process .api-process-details { grid-template-columns: 1fr; }
.api-diagram[data-scenario="exec"] .api-path { height: 108px; }
.api-page .api-observations { grid-template-columns: 1fr; gap: 14px; }
.api-page .api-files { max-width: 700px; }
.api-command { display: flex; align-items: center; gap: 18px; padding: 14px 0 0; }
.api-command > span { color: var(--muted); font-size: 11px; white-space: nowrap; }
.api-command code { font-size: 17px; overflow-wrap: anywhere; }
.api-diagram-scroll { overflow-x: auto; background: var(--surface); }
.api-diagram { position: relative; }
.api-phase-numbers, .api-lane { display: grid; grid-template-columns: 96px repeat(var(--api-stages), minmax(110px, 1fr)); align-items: center; }
.api-phase-numbers { height: 32px; font: 11px Georgia, "Microsoft YaHei", sans-serif; color: var(--muted); text-align: center; }
.api-phase-numbers > span:first-child { position: sticky; left: 0; z-index: 2; background: var(--surface); align-self: stretch; display: grid; place-items: center; font-size: 10px; }
.api-lane { height: 108px; position: relative; z-index: 1; }
.api-child { border-top: 1px dashed #c8d3cb; }
.api-lane h3 { margin: 0; padding: 0 10px; font-size: 13px; font-weight: 500; position: sticky; left: 0; z-index: 2; align-self: stretch; display: flex; flex-direction: column; justify-content: center; background: var(--surface); }
.api-lane h3 span { display: block; color: var(--muted); font-size: 10px; margin-top: 6px; }
.api-path { position: absolute; top: 32px; left: 0; width: 100%; height: 216px; pointer-events: none; }
.api-path polyline { fill: none; stroke-width: 2; vector-effect: non-scaling-stroke; }
.api-planned-path, .api-fork-path { stroke: #bac7bd; stroke-dasharray: 4 4; }
.api-travelled-path, .api-fork-path.occurred { stroke: var(--accent); stroke-dasharray: none; }
.api-path [data-travelled="child"] { stroke: var(--warm); }
.api-stage-button { margin: 0 6px; min-width: 0; height: 62px; border: 1px solid #c9d5cb; background: #fff; color: var(--ink); border-radius: 4px; padding: 7px; }
.api-stage-button span { display: block; color: var(--muted); font: 12px Georgia, serif; }
.api-stage-button strong { display: block; font-size: 12px; font-weight: 500; margin-top: 4px; }
.api-stage-button[aria-pressed="true"] { border: 2px solid var(--accent); background: var(--accent-soft); color: var(--accent); }
.api-child .api-stage-button[aria-pressed="true"] { border-color: var(--warm); background: #f4e9dc; color: var(--warm); }
.api-no-child { grid-column: 2 / -1; color: var(--muted); font-size: 12px; text-align: center; }
.api-page #api-position { width: 100%; margin: 14px 0 4px; accent-color: var(--accent); }
.api-processes { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 30px; border-top: 1px solid var(--line); padding-top: 20px; }
.api-process h3 { display: flex; flex-wrap: wrap; align-items: baseline; gap: 8px 16px; font-size: 15px; font-weight: 500; margin: 0 0 14px; }
.api-process h3 span { color: var(--muted); font-size: 11px; }
.api-identity { display: flex; flex-wrap: wrap; align-items: baseline; gap: 12px; min-height: 36px; }
.api-program { font: 26px Georgia, serif; color: var(--accent); }
.api-child-process .api-program { color: var(--warm); }
.api-status { color: var(--muted); font-size: 12px; }
.api-process-details { display: grid; grid-template-columns: minmax(0, .6fr) minmax(0, 1.5fr); gap: 14px; margin: 14px 0; }
.api-process-details dt { color: var(--muted); font-size: 11px; }
.api-process-details dd { font-size: 12px; margin: 6px 0 0; overflow-wrap: anywhere; }
.api-fds { margin: 0; border-top: 1px solid var(--line); }
.api-fds > div { display: grid; grid-template-columns: minmax(0, .9fr) minmax(0, 1.2fr); padding: 8px 0; border-bottom: 1px solid var(--line); font-size: 12px; }
.api-fds dt { color: var(--muted); }
.api-fds dt code { margin-right: 12px; }
.api-fds dd { margin: 0; overflow-wrap: anywhere; }
.api-fds dd span { margin-right: 8px; color: var(--muted); }
.api-absent { color: var(--muted); font-size: 21px; margin: 12px 0; }
.api-closed-fds { color: var(--muted); font-size: 12px; min-height: 100px; border-top: 1px solid var(--line); padding-top: 12px; }
.api-observations, .api-separation { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 30px; }
.api-observations { margin-top: 24px; border-top: 1px solid var(--line); padding-top: 20px; }
.api-observations h3, .api-separation h3 { font-size: 15px; font-weight: 500; margin: 0 0 12px; }
.api-source pre { font-size: 12px; line-height: 1.8; padding: 14px; background: var(--surface); min-height: 164px; white-space: pre-wrap; overflow-wrap: anywhere; }
.api-source .lde-caption { margin-top: 10px; }
.api-files { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 18px; }
.api-files h4 { font-size: 12px; font-weight: 500; border-bottom: 1px solid var(--line); padding-bottom: 8px; margin: 0; }
.api-files pre { font-size: 13px; padding: 12px 0; min-height: 92px; white-space: pre-wrap; overflow-wrap: anywhere; }
.api-wait-result { font-size: 12px; color: var(--accent); margin-top: 12px; }
.api-separation p { font-size: 13px; color: var(--muted); margin-bottom: 16px; }
.api-formula { display: flex; flex-wrap: wrap; align-items: center; gap: 10px; border-top: 1px solid var(--line); border-bottom: 1px solid var(--line); padding: 16px 0; }
.api-formula strong { font-weight: 500; color: var(--accent); }
.api-formula code { color: var(--ink); }
.api-contract-table { width: 100%; table-layout: fixed; border-collapse: collapse; font-size: 12px; text-align: left; margin-bottom: 24px; }
.api-contract-table th, .api-contract-table td { padding: 12px 10px; border-bottom: 1px solid var(--line); font-weight: 400; vertical-align: top; overflow-wrap: anywhere; }
.api-contract-table thead { color: var(--muted); background: var(--surface); font-size: 11px; }
.api-contract-table th:first-child { width: 110px; }
@media (max-width: 760px) {
  .api-page .lde-toolbar label { max-width: 100%; flex-wrap: wrap; }
  .api-page .lde-toolbar select { max-width: 100%; width: 100%; }
  .api-page .lde-toolbar { display: grid; grid-template-columns: minmax(0, 1fr) auto; gap: 12px; }
  .api-page .lde-toolbar .rr-transport { grid-column: 1; grid-row: 1; }
  .api-page .lde-toolbar > label { display: flex; flex-wrap: nowrap; min-width: 0; }
  .api-page .lde-toolbar > label:first-of-type { grid-column: 1 / -1; grid-row: 2; }
  .api-page .lde-toolbar > label:last-of-type { grid-column: 2; grid-row: 1; }
  .api-page .lde-toolbar > label select { width: auto; min-width: 0; }
  .api-page .lde-toolbar > label:first-of-type select { flex: 1; }
  .api-page .lde-toolbar .api-progress { grid-column: 2; grid-row: 3; margin: 0; justify-self: end; }
  .api-command { align-items: start; gap: 10px; }
  .api-command code { font-size: 13px; }
  .api-processes, .api-observations, .api-separation { grid-template-columns: 1fr; gap: 22px; }
  .api-process + .api-process { border-top: 1px solid var(--line); padding-top: 16px; }
  .api-contract-table th:first-child { width: 76px; }
  .api-contract-table th, .api-contract-table td { padding: 9px 5px; font-size: 11px; }
}
.paging-demo, .paging-rules { border-top: 1px solid var(--line); padding-top: 26px; }
.as-page [hidden] { display: none; }
.as-page .intro .definition, .as-page .lde-scene-note, .as-page .rr-tradeoff p { font-size: 16px; line-height: 1.9; }
.as-page .intro .model-note { font-size: 13px; line-height: 1.9; }
.as-concepts { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 24px; margin: 24px 0; }
.as-concepts > div { border-top: 2px solid var(--line); padding-top: 12px; }
.as-concepts dt { font-size: 15px; font-weight: 500; margin-bottom: 8px; }
.as-concepts dd { margin: 0; font-size: 16px; color: var(--muted); line-height: 1.9; }
.as-why { margin-bottom: 34px; }
.as-why > p:not(.section-index) { max-width: 850px; font-size: 16px; line-height: 1.9; color: var(--muted); margin-top: 14px; }
.as-why strong { color: var(--ink); font-weight: 500; }
.as-story-steps { list-style: none; padding: 0; margin: 18px 0 24px; display: grid; grid-template-columns: repeat(5, minmax(0, 1fr)); gap: 8px; }
.as-story-steps button { width: 100%; min-height: 72px; border: 1px solid var(--line); border-radius: 4px; background: #fff; color: var(--ink); font-size: 14px; line-height: 1.6; padding: 8px; }
.as-story-steps button span { display: block; font: 12px Georgia, serif; color: var(--muted); margin-bottom: 5px; }
.as-story-steps button[aria-pressed="true"] { border-color: var(--accent); background: var(--accent-soft); }
.as-story-steps button[aria-pressed="true"] span { color: var(--ink); }
.as-board { display: grid; grid-template-columns: minmax(0, 1fr) minmax(0, 1fr); gap: 32px; }
.as-spaces { min-width: 0; }
.as-memory-column { min-width: 0; }
.as-page #as-position { display: block; width: 100%; margin: 0 0 22px; accent-color: var(--accent); }
.as-current-stage { max-width: none; margin: 0 0 24px; padding: 0 0 20px; border-top: 0; border-bottom: 1px solid var(--line); min-height: 126px; }
.as-current-stage h3 { font-size: 20px; font-weight: 500; }
.as-current-stage > p:last-child { max-width: 850px; font-size: 16px; line-height: 1.9; }
.as-story-aside { min-width: 0; border-left: 1px solid var(--line); padding-left: 28px; }
.as-story-aside .lde-event { margin: 0; padding: 0 0 18px; border-top: 0; min-height: 178px; }
.as-story-aside h3 { font-size: 15px; font-weight: 500; }
.as-story-aside .lde-event h3 { font-size: 20px; }
.as-reference-observation { border-top: 1px solid var(--line); padding: 16px 0; }
.as-code-observation { padding: 0 0 24px; }
.as-code-observation h3 { font-size: 15px; font-weight: 500; }
.as-code-observation pre { min-height: 76px; background: var(--surface); padding: 12px; font: 14px/1.8 Consolas, monospace; white-space: pre-wrap; overflow-wrap: anywhere; margin: 12px 0 0; }
.as-reference-flow { display: grid; grid-template-columns: minmax(0, .8fr) 18px minmax(0, 1.2fr); gap: 10px; align-items: center; font-size: 14px; line-height: 1.8; margin: 14px 0 10px; overflow-wrap: anywhere; }
.as-reference-flow strong { font-weight: 500; color: var(--accent); }
.as-reference-flow > div { display: flex; flex-direction: column; gap: 8px; }
.as-reference-flow > div > span { color: var(--muted); }
.as-reference-observation p, .as-boundary { font-size: 15px; line-height: 1.9; color: var(--muted); }
.as-boundary { margin-top: 16px; max-width: 850px; }
.as-isolation-section { margin-top: 34px; }
.as-isolation-section > p:not(.section-index):not(.as-boundary) { margin-top: 14px; font-size: 16px; line-height: 1.9; }
.as-isolation-pair { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 24px; margin: 20px 0; }
.as-isolation-process { padding: 16px 18px; border-left: 3px solid var(--accent); }
.as-isolation-process.as-owner-B { border-color: var(--warm); }
.as-isolation-process h3 { font-size: 15px; font-weight: 500; }
.as-isolation-process p { font-size: 14px; line-height: 1.8; margin-top: 8px; }
.as-isolation-path { display: grid; grid-template-columns: minmax(0, .6fr) minmax(60px, .7fr) minmax(0, 1fr); align-items: center; gap: 12px; margin: 18px 0; }
.as-isolation-path > div { display: flex; flex-direction: column; gap: 8px; min-width: 0; }
.as-isolation-path span, .as-isolation-path small { font-size: 14px; line-height: 1.6; color: var(--muted); overflow-wrap: anywhere; }
.as-isolation-path strong { font: 28px Georgia, serif; }
.as-mapping-arrow { text-align: center; }
.as-mapping-arrow span:last-child { font-size: 24px; color: var(--accent); }
.as-owner-B .as-mapping-arrow span:last-child { color: var(--warm); }
.as-isolation-value strong { font: 24px Georgia, serif; margin-left: 8px; }
.as-isolation-actions { display: flex; gap: 12px; align-items: center; }
.as-write-button { min-height: 44px; background: var(--accent); border: 1px solid var(--accent); border-radius: 4px; color: #fff; padding: 8px 16px; font-size: 14px; }
.as-write-button:disabled { background: var(--surface); border-color: var(--line); color: var(--muted); cursor: default; }
.as-isolation-result { min-height: 48px; color: var(--accent); }
.as-space h3 { display: flex; flex-wrap: wrap; align-items: baseline; justify-content: space-between; gap: 6px; font-size: 15px; font-weight: 500; margin: 0 0 12px; color: var(--accent); }
.as-space h3 span { font-size: 13px; color: var(--muted); }
.as-memory-map { border-top: 1px solid var(--line); }
.as-region { display: grid; grid-template-columns: 82px minmax(0, 1fr); border-bottom: 1px solid var(--line); }
.as-region h4 { margin: 0; padding: 10px 8px; display: flex; flex-direction: column; justify-content: center; font-size: 14px; font-weight: 500; background: var(--surface); }
.as-region h4 span { color: var(--ink); font-size: 12px; margin-top: 6px; }
.as-cell { display: grid; grid-template-columns: 25px minmax(0, 1fr); align-items: center; text-align: left; width: 100%; height: 54px; border: 0; border-bottom: 1px solid #e9eeea; padding: 4px 6px; background: #fff; color: var(--ink); }
.as-cell > span:first-child { color: var(--ink); font: 13px Georgia, serif; }
.as-cell > span:last-child { font-size: 14px; line-height: 1.5; white-space: normal; overflow-wrap: anywhere; }
.as-cell:last-child { border-bottom: 0; }
.as-code h4 { background: #e2edf0; }
.as-data h4 { background: #eceeec; }
.as-heap h4 { background: var(--accent-soft); }
.as-stack h4 { background: #f4e9dc; }
.as-unused .as-cell { background: #fafbfa; color: var(--muted); }
.as-cell[aria-pressed="true"] { background: var(--accent-soft); outline: 2px solid var(--accent); outline-offset: -2px; }
.as-cell[data-state="empty"] { background: #fafbfa; color: var(--muted); }
.as-cell[data-state="released"] { background: #f5eee8; color: #644a3e; }
.as-cell.as-changed { border-left: 3px solid var(--accent); padding-left: 3px; }
.as-cell[data-state="empty"][aria-pressed="true"], .as-cell[data-state="released"][aria-pressed="true"] { outline: 2px solid var(--accent); outline-offset: -2px; }
.as-owner-A { background: #f2f7f3; }
.as-owner-B { background: #fcf6ef; }
.as-readout { display: grid; grid-template-columns: 112px minmax(0, 1fr); gap: 20px; margin: 18px 0 12px; padding-top: 16px; border-top: 1px solid var(--line); }
.as-readout dt { color: var(--muted); font-size: 13px; }
.as-readout dd { font-size: 16px; line-height: 1.8; margin: 8px 0 0; overflow-wrap: anywhere; }
.as-region-explanation { font-size: 15px; line-height: 1.9; color: var(--muted); min-height: 48px; max-width: 850px; }
#as-position { width: 100%; margin: 16px 0 4px; accent-color: var(--accent); }
.as-lifecycle-ledger { border-top: 1px solid var(--line); padding-top: 18px; }
.as-lifecycle-ledger h3 { font-size: 14px; font-weight: 500; margin: 0 0 12px; }
.as-lifecycle-ledger dl { margin: 0; }
.as-lifecycle-ledger dl > div { display: grid; grid-template-columns: 64px minmax(0, 1fr); gap: 10px; margin-bottom: 10px; font-size: 14px; line-height: 1.8; }
.as-lifecycle-ledger dt, .as-lifecycle-ledger dd span { color: var(--muted); }
.as-lifecycle-ledger dd { margin: 0; }
.as-story-aside > :first-child { border-top: 0; padding-top: 0; }
.as-state-legend { display: flex; flex-wrap: wrap; gap: 12px; margin: 12px 0; }
.as-state-legend > span { display: flex; align-items: center; gap: 6px; font-size: 13px; color: var(--muted); }
.as-state-legend i { display: inline-block; width: 12px; height: 12px; border: 1px solid var(--line); }
.as-state-legend .as-change-key { border-left: 3px solid var(--accent); }
.as-state-legend .as-empty-key { background: #fafbfa; }
.as-state-legend .as-released-key { background: #f5eee8; }
.as-lifecycle-summary { margin-top: 28px; border-top: 1px solid var(--line); padding-top: 20px; }
.as-lifecycle-summary h3 { font-size: 16px; font-weight: 500; margin: 0 0 14px; }
.as-lifecycle-summary > p { font-size: 15px; line-height: 1.9; color: var(--muted); margin: 0 0 14px; }
.as-lifecycle-scroll { overflow-x: auto; }
.as-lifecycle-summary table { width: 100%; border-collapse: collapse; min-width: 490px; font-size: 14px; }
.as-lifecycle-summary caption { text-align: left; font-size: 13px; color: var(--muted); padding-bottom: 14px; line-height: 1.9; }
.as-lifecycle-summary th, .as-lifecycle-summary td { padding: 12px 10px; text-align: left; border-bottom: 1px solid var(--line); font-weight: 400; }
.as-lifecycle-summary thead th { color: var(--muted); }
.as-lifecycle-summary tbody th { font-weight: 500; }
.as-lifecycle-summary tr[aria-current="step"] { background: var(--accent-soft); }
.as-goals { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 26px; }
.as-goals h3 { font-size: 15px; font-weight: 500; margin: 0 0 12px; }
.as-goals p { font-size: 16px; line-height: 1.9; color: var(--muted); margin: 0; }
.as-page .section-heading > p { white-space: nowrap; }
.ma-page .intro .definition, .ma-page .rr-tradeoff p { font-size: 16px; line-height: 1.9; }
.ma-section { margin-top: 36px; }
.ma-progress { white-space: nowrap; }
.ma-steps { list-style: none; padding: 0; margin: 18px 0 24px; display: grid; grid-template-columns: repeat(5, minmax(0, 1fr)); gap: 8px; }
.ma-steps button { width: 100%; min-height: 44px; padding: 8px; border: 1px solid var(--line); border-radius: 4px; background: #fff; font-size: 14px; line-height: 1.6; color: var(--ink); }
.ma-steps button[aria-pressed="true"] { border-color: var(--accent); background: var(--accent-soft); }
.ma-workbench, .ma-error-workbench { display: grid; grid-template-columns: minmax(0, 1.4fr) minmax(0, 1fr); gap: 32px; }
.ma-current-stage { margin: 20px 0 22px; }
.ma-current-stage h3, .ma-error-summary h3 { font-size: 20px; font-weight: 500; margin: 8px 0 12px; }
.ma-action, .ma-error-analysis { min-width: 0; border-left: 1px solid var(--line); padding-left: 24px; }
.ma-action h3, .ma-error-analysis h3 { font-size: 15px; font-weight: 500; }
.ma-action { min-width: 0; }
.ma-page pre { background: var(--surface); border-left: 2px solid #b6c9bd; padding: 16px; font: 14px/1.8 Consolas, monospace; margin: 12px 0 16px; white-space: pre-wrap; overflow-wrap: anywhere; }
#ma-code { min-height: 128px; }
#ma-reason { font-size: 16px; line-height: 1.9; max-width: 850px; }
.ma-observations { margin: 20px 0 0; border-top: 1px solid var(--line); padding-top: 16px; }
.ma-observations > div { display: grid; grid-template-columns: 104px minmax(0, 1fr); gap: 12px; margin-bottom: 10px; font-size: 14px; line-height: 1.8; }
.ma-observations dt { color: var(--muted); }
.ma-observations dd { margin: 0; }
.ma-diagram { display: grid; grid-template-columns: minmax(0, 1fr); gap: 20px; min-width: 0; }
.ma-pointers, .ma-object-list { min-width: 0; }
.ma-diagram h3 { font-size: 14px; font-weight: 500; margin: 0 0 14px; }
.ma-pointer { border-top: 2px solid var(--accent); background: var(--accent-soft); padding: 12px; margin-bottom: 12px; min-height: 112px; overflow-wrap: anywhere; }
.ma-pointer strong { display: block; font: 21px Georgia, serif; }
.ma-pointer > span { display: block; font: 14px Consolas, monospace; margin: 8px 0; }
.ma-pointer small { display: block; font-size: 13px; line-height: 1.6; color: var(--muted); }
.ma-pointer-target { margin: 8px 0 0; font-size: 14px; line-height: 1.8; }
.ma-pointer-dangling, .ma-pointer-uninitialized { background: #fcf1e6; border-color: var(--warm); }
.ma-pointer-null { background: var(--surface); border-color: #9caea2; }
.ma-pointers > p, .ma-links, .ma-caption { font-size: 14px; line-height: 1.8; color: var(--muted); }
.ma-object { border: 1px solid var(--line); border-radius: 4px; margin-bottom: 16px; min-height: 76px; }
.ma-object-heading { padding: 12px; display: flex; flex-wrap: wrap; justify-content: space-between; gap: 6px; border-bottom: 1px solid var(--line); }
.ma-object-heading strong { font: 14px Consolas, monospace; }
.ma-object-heading code { color: var(--muted); }
.ma-object-heading > span { font-size: 13px; line-height: 1.6; color: var(--muted); }
.ma-elements { display: grid; grid-auto-flow: column; grid-auto-columns: minmax(0, 1fr); gap: 6px; padding: 12px; }
.ma-element { background: var(--surface); min-height: 100px; text-align: center; padding: 8px 4px; overflow-wrap: anywhere; }
.ma-element > span, .ma-element small { display: block; font-size: 13px; line-height: 1.6; color: var(--muted); }
.ma-element > strong { display: block; font: 22px Georgia, serif; margin: 4px 0; }
.ma-uninitialized { background: #f4ede3; }
.ma-uninitialized > span, .ma-uninitialized small { color: var(--ink); }
.ma-changed { border-color: var(--accent); }
.ma-object-unreferenced { border-color: var(--warm); }
.ma-lifecycle-summary { border-top: 1px solid var(--line); margin-top: 26px; padding-top: 20px; }
.ma-lifecycle-summary > summary, .ma-reference > summary { cursor: pointer; font-size: 16px; line-height: 1.9; }
.ma-reference { padding: 16px 0; border-bottom: 1px solid var(--line); }
.ma-reference .ma-sizing { border-top: 0; padding-bottom: 0; }
.ma-result { border-top: 1px solid var(--line); padding-top: 12px; margin: 16px 0 0; font-size: 14px; line-height: 1.8; }
.ma-result dt { color: var(--muted); }
.ma-result dd { margin: 6px 0 0; }
.ma-lifecycle-scroll { overflow-x: auto; }
.ma-lifecycle-summary table { width: 100%; min-width: 560px; border-collapse: collapse; font-size: 14px; }
.ma-lifecycle-summary caption { text-align: left; color: var(--muted); font-size: 13px; padding-bottom: 12px; }
.ma-lifecycle-summary th, .ma-lifecycle-summary td { text-align: left; padding: 12px 10px; border-bottom: 1px solid var(--line); font-weight: 400; }
.ma-lifecycle-summary thead th { color: var(--muted); }
.ma-lifecycle-summary tbody th { font-weight: 500; }
.ma-lifecycle-summary tr[aria-current="step"] { background: var(--accent-soft); }
.ma-links { padding: 0 12px 12px; overflow-wrap: anywhere; }
.ma-object-ended { background: var(--surface); color: var(--muted); border-style: dashed; }
.ma-object-ended > p:not(.ma-links) { padding: 12px; font-size: 14px; line-height: 1.8; }
.ma-empty { color: var(--muted); font-size: 14px; padding-top: 10px; }
#ma-position { width: 100%; margin: 18px 0 8px; }
.ma-section-lead { max-width: 850px; font-size: 16px; line-height: 1.9; color: var(--muted); margin: 14px 0 20px; }
.ma-error-selector { display: flex; flex-wrap: wrap; gap: 12px; align-items: center; margin-bottom: 22px; font-size: 14px; color: var(--muted); }
.ma-error-selector select { max-width: 100%; border: 1px solid var(--line); border-radius: 4px; padding: 9px; background: #fff; font: inherit; color: var(--ink); }
.ma-error-kind { color: var(--warm); font-size: 15px; font-weight: 500; }
#ma-error-code > span { display: block; }
.ma-problem-line { color: #7b3f16; background: #f4e6d4; padding: 0 4px; }
.ma-error-explanation { margin: 18px 0 0; font-size: 16px; line-height: 1.9; }
.ma-error-explanation > div { padding: 12px 0; border-bottom: 1px solid var(--line); }
.ma-error-explanation dt { font-size: 14px; font-weight: 500; margin-bottom: 6px; }
.ma-error-explanation dd { margin: 0; }
.ma-error-summary { margin-bottom: 22px; }
.ma-error-stop { font-size: 11px; color: var(--muted); border-top: 1px solid var(--line); margin-top: 16px; padding-top: 12px; }
.ma-error-target { border-left: 2px solid var(--warm); padding-left: 12px; font-size: 14px; line-height: 1.8; color: var(--warm); margin-top: 20px; }
.ma-contracts { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 28px; margin: 22px 0; }
.ma-contracts article { border-top: 1px solid var(--line); padding-top: 16px; }
.ma-contracts h3 { font: 22px Georgia, serif; margin-bottom: 8px; }
.ma-page code { font: 14px/1.8 Consolas, monospace; overflow-wrap: anywhere; }
.ma-contracts p { font-size: 16px; line-height: 1.9; color: var(--muted); margin-top: 10px; }
.ma-contracts dl { margin: 16px 0 0; }
.ma-contracts dl > div { margin-top: 14px; }
.ma-contracts dt { font-size: 14px; font-weight: 500; margin-bottom: 5px; }
.ma-contracts dd { margin: 0; font-size: 16px; line-height: 1.9; color: var(--muted); }
.ma-sizing { padding: 20px 0; border-top: 1px solid var(--line); }
.ma-sizing h3 { font-size: 16px; font-weight: 500; margin-bottom: 14px; }
.ma-sizing > div { display: grid; grid-template-columns: 180px minmax(0, 1fr); gap: 14px; padding: 8px 0; font-size: 14px; line-height: 1.8; }
.ma-sizing > p { color: var(--muted); font-size: 15px; line-height: 1.9; margin-top: 10px; }
.ma-layers { display: grid; grid-template-columns: minmax(0, 1fr) 20px minmax(0, 1fr) 20px minmax(0, 1fr); gap: 18px; margin: 24px 0; align-items: start; }
.ma-layers h3 { font-size: 15px; font-weight: 500; margin-bottom: 10px; }
.ma-layers p { font-size: 16px; line-height: 1.9; color: var(--muted); }
.ma-layers > span { color: var(--accent); margin-top: 34px; }
.ma-os-apis { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 28px; margin: 0 0 20px; }
.ma-os-apis dt { font: 18px Georgia, serif; }
.ma-os-apis dd { margin: 10px 0 0; font-size: 16px; line-height: 1.9; color: var(--muted); }
.sg-section { margin-top: 36px; }
.sg-progress { white-space: nowrap; }
.sg-comparison, .sg-stack-explanation, .sg-responsibilities { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 28px; margin-top: 24px; }
.sg-comparison h3, .sg-responsibilities h3, .sg-fragmentation h3 { font-size: 17px; font-weight: 500; margin-bottom: 16px; }
.sg-comparison p, .sg-responsibilities p, .sg-fragmentation > p { color: var(--muted); font-size: 13px; margin-top: 14px; }
.sg-layout-source { margin-top: 22px; }
.sg-layout-source h3 { font-size: 15px; font-weight: 500; }
.sg-layout-source > p { font-size: 13px; color: var(--muted); margin: 10px 0 16px; }
.sg-whole-space { display: grid; grid-template-columns: 8fr 8fr 6fr 34fr 8fr; min-height: 64px; border: 1px solid var(--line); font-size: 11px; color: var(--muted); }
.sg-whole-space > span, .sg-separated-space > span { display: flex; flex-direction: column; justify-content: center; align-items: center; gap: 5px; border-right: 1px solid var(--line); }
.sg-whole-space strong, .sg-separated-space strong { font: 16px Georgia, serif; }
.sg-address-ends { display: flex; justify-content: space-between; font-size: 11px; color: var(--muted); margin-top: 8px; }
.sg-comparison .sg-allocation-label { font-size: 11px; margin: 0 0 12px; }
.sg-comparison .sg-allocation-total { color: var(--ink); }
.sg-allocation-total strong { color: var(--accent); font: 23px Georgia, serif; margin: 0 3px; }
.sg-comparison-conclusion { border-top: 1px solid var(--line); padding-top: 16px; margin-top: 22px; font-size: 13px; color: var(--ink); }
.sg-separated-space { display: grid; grid-template-columns: 8fr 6fr 8fr; width: calc(34.375% + 28px); max-width: 100%; gap: 14px; min-height: 64px; font-size: 11px; }
.sg-separated-space > span { border: 1px solid var(--line); }
.sg-code, .sg-segment-0 { background: #e6edf0; color: #3d5965; }
.sg-heap, .sg-segment-1 { background: var(--accent-soft); color: var(--accent); }
.sg-stack, .sg-segment-3 { background: #f5e8d7; color: var(--warm); }
.sg-settings { display: flex; flex-wrap: wrap; gap: 16px 26px; align-items: center; font-size: 12px; margin-bottom: 18px; }
.sg-settings label { display: flex; flex-wrap: wrap; gap: 10px; align-items: center; color: var(--muted); max-width: 100%; }
.sg-settings input, .sg-settings select { border: 1px solid var(--line); border-radius: 4px; padding: 9px; background: #fff; color: var(--ink); font: inherit; max-width: 100%; }
.sg-settings input { width: 76px; }
.sg-settings p { color: var(--muted); }
.sg-error { font-size: 13px; color: var(--warm); border-left: 2px solid var(--warm); padding-left: 12px; }
.sg-steps { display: grid; grid-template-columns: repeat(6, minmax(0, 1fr)); gap: 8px; list-style: none; padding: 0; margin: 18px 0 22px; }
.sg-steps button { width: 100%; min-height: 66px; background: #fff; border: 1px solid var(--line); border-radius: 4px; color: var(--ink); font-size: 12px; padding: 8px 6px; }
.sg-steps button > span { display: block; margin-bottom: 5px; color: var(--muted); font: 11px Georgia, serif; }
.sg-steps button[aria-pressed="true"] { background: var(--accent-soft); border-color: var(--accent); }
.sg-request { display: flex; flex-wrap: wrap; gap: 14px 28px; font-size: 12px; color: var(--muted); padding-top: 16px; border-top: 1px solid var(--line); margin-bottom: 22px; }
.sg-request strong { color: var(--ink); font-weight: 500; margin-left: 10px; }
.sg-workbench { display: grid; grid-template-columns: minmax(0, .85fr) minmax(0, 1.1fr) minmax(0, 1fr); gap: 24px; }
.sg-workbench h3 { font-size: 15px; font-weight: 500; margin-bottom: 6px; }
.sg-subtitle { font-size: 11px; color: var(--muted); margin-bottom: 14px; }
.sg-virtual-row { min-height: 50px; padding: 10px; display: flex; align-items: center; flex-wrap: wrap; gap: 6px 10px; border: 1px solid var(--line); margin-bottom: 6px; }
.sg-virtual-row > span { font: 12px Georgia, serif; min-width: 40px; }
.sg-virtual-row strong { font-size: 12px; font-weight: 500; }
.sg-virtual-row small { font-size: 10px; margin-left: auto; }
.sg-gap { color: var(--muted); background: #f7f8f7; }
.sg-active { outline: 2px solid var(--accent); outline-offset: 1px; }
.sg-hardware { border-left: 1px solid var(--line); border-right: 1px solid var(--line); padding: 0 18px; }
.sg-table { width: 100%; table-layout: fixed; border-collapse: collapse; font-size: 11px; }
.sg-table th, .sg-table td { padding: 10px 3px; border-bottom: 1px solid var(--line); text-align: left; font-weight: 400; overflow-wrap: anywhere; }
.sg-table th:last-child, .sg-table td:last-child { width: 29%; }
.sg-table thead { color: var(--muted); }
.sg-selected { background: var(--accent-soft); outline: 1px solid var(--accent); }
.sg-caption { color: var(--muted); font-size: 11px; margin-top: 14px; }
.sg-calculation { margin-top: 20px; }
.sg-calculation > div { min-height: 60px; padding: 10px 0; border-bottom: 1px solid var(--line); }
.sg-calculation dt { color: var(--muted); font-size: 11px; }
.sg-calculation dd { font-size: 13px; margin: 6px 0 0; overflow-wrap: anywhere; }
.sg-calculation > div:last-child dd { font: 23px Georgia, serif; color: var(--accent); }
.sg-status { color: var(--accent); font-size: 12px; min-height: 50px; margin-top: 16px; }
.sg-rejected { color: var(--warm); }
.sg-physical-grid { display: grid; grid-template-columns: repeat(8, minmax(0, 1fr)); gap: 4px; }
.sg-physical-cell { height: 32px; display: grid; place-items: center; border: 1px solid var(--line); font: 11px Georgia, serif; }
.sg-os { background: #e6e9e7; color: var(--muted); }
.sg-target { background: var(--accent); color: #fff; outline: 2px solid var(--accent); outline-offset: 1px; }
.sg-legend { display: flex; flex-wrap: wrap; gap: 10px 14px; font-size: 10px; color: var(--muted); margin-top: 16px; }
.sg-legend > span { display: inline-flex; align-items: center; gap: 6px; }
.sg-legend > span::before { content: ''; width: 8px; height: 8px; border: 1px solid var(--line); }
.sg-key-code::before { background: #e6edf0; }
.sg-key-heap::before { background: var(--accent-soft); }
.sg-key-stack::before { background: #f5e8d7; }
.sg-key-os::before { background: #e6e9e7; }
#sg-position { width: 100%; margin-top: 16px; }
.sg-encoding { border-top: 1px solid var(--line); margin-top: 22px; padding-top: 14px; font-size: 12px; }
.sg-encoding summary { color: var(--accent); cursor: pointer; }
.sg-encoding p { color: var(--muted); margin-top: 14px; }
.sg-encoding strong { color: var(--ink); white-space: nowrap; }
.sg-stack-explanation { border-top: 1px solid var(--line); padding-top: 20px; }
.sg-stack-strip { display: flex; flex-wrap: wrap; align-items: center; justify-content: space-between; gap: 12px; border-left: 2px solid var(--warm); padding: 16px; background: #f5e8d7; font-size: 12px; }
.sg-stack-strip strong { font: 20px Georgia, serif; }
.sg-stack-explanation > div > p:last-child { font-size: 14px; margin-top: 14px; }
.sg-section-lead { color: var(--muted); font-size: 14px; margin-top: 20px; }
.sg-sharing { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 8px; font-size: 12px; }
.sg-sharing > span { padding: 12px; border-left: 2px solid var(--line); }
.sg-sharing .sg-shared-code { background: #e6edf0; border-color: #aebec5; grid-column: 2; grid-row: 1 / 3; display: grid; place-items: center; }
.sg-fragmentation { border-top: 1px solid var(--line); margin-top: 30px; padding-top: 22px; }
.sg-fragment-strip { display: grid; grid-template-columns: repeat(6, minmax(0, 1fr)); border: 1px solid var(--line); color: var(--muted); background: #e6e9e7; }
.sg-fragment-strip span { padding: 10px 2px; text-align: center; font-size: 11px; border-right: 1px solid var(--line); }
.sg-fragment-strip strong { display: block; font: 19px Georgia, serif; margin-top: 5px; }
.sg-fragment-strip .sg-free { background: #fff; }
@media (max-width: 1240px) {
  .sg-workbench { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .sg-hardware { border-right: 0; }
  .sg-physical { grid-column: 1 / -1; border-top: 1px solid var(--line); padding-top: 20px; }
  .sg-physical-grid { max-width: 640px; }
}
@media (max-width: 760px) {
  .sg-page .lde-toolbar label { flex-wrap: wrap; max-width: 100%; }
  .sg-page .lde-toolbar select { max-width: 100%; }
  .sg-comparison, .sg-stack-explanation, .sg-responsibilities, .sg-workbench { grid-template-columns: 1fr; }
  .sg-steps { grid-template-columns: repeat(3, minmax(0, 1fr)); }
  .sg-hardware { border-left: 0; border-top: 1px solid var(--line); padding: 20px 0 0; }
  .sg-physical { grid-column: auto; }
}
.at-progress { white-space: nowrap; }
.at-page [hidden] { display: none; }
.at-page .intro { padding: 30px 0 24px; }
.at-page .lde-event { min-height: 0; margin: 18px 0 24px; }
.at-page section[id] { scroll-margin-top: 24px; }
.at-page .lde-toolbar .at-progress { margin-left: auto; font-size: 12px; color: var(--muted); }
.at-page #at-demo { margin-top: 24px; }
.at-page .rr-transport .icon-button { min-width: 44px; min-height: 44px; flex-shrink: 0; }
.at-case-actions { display: flex; flex-wrap: wrap; gap: 12px; margin-top: 18px; }
.at-case-button { min-height: 44px; padding: 10px 16px; border: 1px solid var(--line); border-radius: 4px; background: #fff; color: var(--accent); font: inherit; font-size: 13px; cursor: pointer; }
.at-case-button:hover { background: var(--accent-soft); border-color: var(--accent); }
.at-relocation-comparison { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 24px; margin: 22px 0; }
.at-relocation-comparison dt { font-size: 12px; color: var(--muted); }
.at-relocation-comparison dd { margin: 10px 0 0; font-size: 24px; color: var(--accent); font-variant-numeric: tabular-nums; }
.at-relocation-comparison dd span { font-size: 13px; color: var(--muted); }
.at-further { border-top: 1px solid var(--line); padding-top: 24px; }
.at-further h2 { font-size: 20px; margin-bottom: 16px; }
.at-further details { border-bottom: 1px solid var(--line); padding: 14px 0; }
.at-further summary { cursor: pointer; font-size: 14px; }
.at-further details > p { margin-top: 14px; font-size: 13px; color: var(--muted); }
.at-settings { display: flex; flex-wrap: wrap; gap: 16px 26px; align-items: center; margin: 0 0 20px; font-size: 12px; }
.at-settings label { display: flex; flex-wrap: wrap; gap: 10px; align-items: center; max-width: 100%; color: var(--muted); }
.at-settings input, .at-settings select { border: 1px solid var(--line); border-radius: 4px; background: #fff; color: var(--ink); font: inherit; padding: 9px; max-width: 100%; }
.at-settings input { width: 76px; }
.at-settings p { color: var(--muted); }
.at-settings strong { color: var(--ink); font-weight: 500; }
.at-input-error { color: var(--warm); border-left: 2px solid var(--warm); padding-left: 12px; font-size: 13px; }
.at-steps { display: grid; grid-template-columns: repeat(var(--at-step-count, 4), minmax(0, 1fr)); gap: 8px; list-style: none; padding: 0; margin: 18px 0 24px; }
.at-steps button { width: 100%; min-height: 62px; border: 1px solid var(--line); border-radius: 4px; padding: 8px; background: #fff; color: var(--ink); font-size: 12px; }
.at-steps button > span { display: block; color: var(--muted); font: 11px Georgia, serif; margin-bottom: 5px; }
.at-steps button[aria-pressed="true"] { background: var(--accent-soft); border-color: var(--accent); }
.at-registers { display: grid; grid-template-columns: repeat(4, minmax(0, 1fr)); gap: 20px; border-top: 1px solid var(--line); padding-top: 16px; margin-bottom: 24px; }
.at-registers span { font-size: 11px; color: var(--muted); display: block; }
.at-registers strong { display: block; font-size: 18px; font-weight: 500; margin-top: 7px; }
.at-workbench { display: grid; grid-template-columns: minmax(0, .85fr) minmax(0, .9fr) minmax(0, 1.2fr); gap: 24px; }
.at-workbench h3 { font-size: 15px; font-weight: 500; margin-bottom: 6px; }
.at-subtitle { font-size: 11px; color: var(--muted); margin-bottom: 14px; }
.at-virtual-grid { display: grid; grid-template-columns: repeat(4, minmax(0, 1fr)); gap: 6px; }
.at-virtual-cell { min-height: 60px; padding: 8px 2px; background: #fff; color: var(--ink); border: 1px solid var(--line); border-radius: 4px; }
.at-virtual-cell strong { display: block; font: 20px Georgia, serif; margin-bottom: 4px; }
.at-virtual-cell > span { display: block; color: var(--muted); font-size: 10px; }
.at-virtual-cell[aria-pressed="true"] { background: var(--accent-soft); border-color: var(--accent); }
.at-virtual-cell:disabled { cursor: default; }
.at-hardware { border-left: 1px solid var(--line); border-right: 1px solid var(--line); padding: 0 20px; }
.at-computation { margin: 20px 0 0; }
.at-computation > div { border-bottom: 1px solid var(--line); padding: 12px 0; min-height: 76px; }
.at-computation dt { color: var(--muted); font-size: 11px; }
.at-computation dd { font-size: 15px; margin: 8px 0 0; overflow-wrap: anywhere; }
.at-computation > div:last-child dd { color: var(--accent); font: 26px Georgia, serif; }
.at-status { font-size: 12px; color: var(--accent); margin-top: 16px; min-height: 60px; }
.at-rejected { color: var(--warm); }
.at-physical-grid { display: grid; grid-template-columns: repeat(8, minmax(0, 1fr)); gap: 4px; }
.at-physical-cell { height: 32px; display: grid; place-items: center; border: 1px solid var(--line); background: #fff; color: var(--muted); font: 11px Georgia, serif; }
.at-os { background: #e6e9e7; }
.at-owned { background: var(--accent-soft); color: var(--accent); border-color: #b6c9bd; }
.at-copy { background: #f5e8d7; color: var(--warm); border-color: #d7bb97; }
.at-target { background: var(--accent); border-color: var(--accent); color: #fff; outline: 2px solid var(--accent); outline-offset: 1px; }
.at-legend { display: flex; flex-wrap: wrap; gap: 10px 14px; font-size: 10px; color: var(--muted); margin-top: 16px; }
.at-legend > span { display: inline-flex; align-items: center; gap: 6px; }
.at-legend > span::before { content: ''; display: inline-block; width: 8px; height: 8px; border: 1px solid var(--line); }
.at-legend-os::before { background: #e6e9e7; }
.at-legend-a::before { background: var(--accent-soft); }
.at-legend-copy::before { background: #f5e8d7; }
.at-caption { font-size: 11px; color: var(--muted); margin-top: 14px; }
#at-position { width: 100%; margin-top: 16px; }
.at-section { margin-top: 36px; }
.at-section-lead { font-size: 14px; color: var(--muted); margin-top: 14px; max-width: 850px; }
.at-roles { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 28px; margin-top: 24px; }
.at-roles h3 { font-size: 17px; font-weight: 500; border-top: 1px solid var(--line); padding-top: 16px; }
.at-roles ul { padding-left: 18px; font-size: 13px; color: var(--muted); }
.at-roles li { margin-bottom: 9px; }
.at-limits { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 28px; margin-top: 22px; }
.at-limits dt { font-size: 15px; font-weight: 500; }
.at-limits dd { margin: 12px 0 0; font-size: 13px; color: var(--muted); }
@media (max-width: 1240px) {
  .at-workbench { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .at-hardware { border-right: 0; }
  .at-physical { grid-column: 1 / -1; border-top: 1px solid var(--line); padding-top: 20px; }
  .at-physical-grid { max-width: 640px; }
}
@media (max-width: 760px) {
  .at-page .lde-toolbar label { flex-wrap: wrap; max-width: 100%; }
  .at-page .lde-toolbar select { max-width: 100%; }
  .at-steps { grid-template-columns: repeat(3, minmax(0, 1fr)); }
  .at-registers { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .at-workbench { grid-template-columns: 1fr; }
  .at-hardware { border-left: 0; border-top: 1px solid var(--line); padding: 20px 0 0; }
  .at-physical { grid-column: auto; }
  .at-roles, .at-limits { grid-template-columns: 1fr; gap: 20px; }
  .at-relocation-comparison { grid-template-columns: 1fr; gap: 16px; }
}
@media (max-width: 1240px) {
  .ma-workbench, .ma-error-workbench { grid-template-columns: 1fr; }
  .ma-action, .ma-error-analysis { border-left: 0; border-top: 1px solid var(--line); padding: 20px 0 0; }
}
@media (max-width: 760px) {
  .ma-page .lde-toolbar label { flex-wrap: wrap; max-width: 100%; }
  .ma-page .lde-toolbar select { max-width: 100%; }
  .ma-steps { grid-template-columns: repeat(3, minmax(0, 1fr)); }
  .ma-page .lde-toolbar { display: grid; grid-template-columns: minmax(0, 1fr) auto; gap: 12px; }
  .ma-page .lde-toolbar .rr-transport { grid-column: 1; grid-row: 1; }
  .ma-page .lde-toolbar > label { display: flex; flex-direction: row; align-items: center; gap: 8px; min-width: 0; }
  .ma-page .lde-toolbar > label:first-of-type { grid-column: 1 / -1; grid-row: 2; }
  .ma-page .lde-toolbar > label:first-of-type select { flex: 1; min-width: 0; }
  .ma-page .lde-toolbar > label:last-of-type { grid-column: 2; grid-row: 1; }
  .ma-diagram { grid-template-columns: 1fr; gap: 18px; }
  .ma-pointers { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 12px; align-items: start; }
  .ma-pointers > h3, .ma-pointers > p { grid-column: 1 / -1; margin-bottom: 0; }
  .ma-pointer { padding: 10px; }
  .ma-elements { padding: 8px; gap: 4px; }
  .ma-contracts, .ma-os-apis { grid-template-columns: 1fr; gap: 22px; }
  .ma-sizing > div { grid-template-columns: 1fr; gap: 2px; }
  .ma-layers { grid-template-columns: 1fr; gap: 14px; }
  .ma-layers > span { margin: 0; transform: rotate(90deg); justify-self: start; }
}
@media (max-width: 760px) {
  .as-page .lde-toolbar label { flex-wrap: wrap; max-width: 100%; }
  .as-page .lde-toolbar select { max-width: 100%; }
  .as-board { grid-template-columns: 1fr; }
  .as-story-aside { border-left: 0; border-top: 1px solid var(--line); padding: 20px 0 0; }
  .as-concepts { grid-template-columns: 1fr; gap: 14px; }
  .as-concepts > div { display: grid; grid-template-columns: 76px minmax(0, 1fr); gap: 10px; }
  .as-concepts dt { margin-bottom: 0; font-size: 14px; }
  .as-current-stage { min-height: 0; }
  .as-story-steps { grid-template-columns: repeat(3, minmax(0, 1fr)); }
  .as-isolation-pair { grid-template-columns: 1fr; gap: 12px; }
  .as-cell { height: 56px; }
  .as-cell > span:last-child { font-size: 14px; }
  .as-readout { grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 20px; }
  .as-goals { grid-template-columns: 1fr; gap: 22px; }
}
.mp-page [hidden] { display: none; }
.mp-page .lde-event { min-height: 0; margin: 14px 0 18px; }
.mp-page .lde-scene-note { font-size: 14px; margin: 0 0 12px; }
.mp-page .mp-toolbar { padding: 4px 0 12px; }
.mp-conditions { font-size: 12px; color: var(--muted); margin: 0 0 16px; max-width: 850px; }
.mp-page .mp-summary { grid-template-columns: repeat(3, minmax(0, 1fr)); }
.mp-reference { border-top: 1px solid var(--line); margin-top: 12px; min-width: 0; }
.mp-reference summary { min-height: 44px; padding: 10px 0; cursor: pointer; font-size: 14px; }
.mp-reference > p { color: var(--muted); font-size: 14px; margin: 0 0 16px; max-width: 850px; }
.mp-reference .model-note { margin: 0 0 16px; }
.mp-reference .mp-ledger { margin: 0 0 16px; }
.mp-page summary:focus-visible { outline: 2px solid var(--accent); outline-offset: 3px; }
@media (max-width: 760px) {
  .mp-page .mp-toolbar .mp-scene-control { grid-column: 1 / -1; grid-row: 2; flex-wrap: nowrap; min-width: 0; }
  .mp-page .mp-scene-control select { flex: 1; width: 0; }
  .mp-page #mp-balance-control, .mp-page #mp-target-control { grid-column: 1 / -1; grid-row: 3; min-height: 44px; }
  .mp-page .mp-summary { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .mp-page .section-heading { align-items: start; }
}
.mp-toolbar label { max-width: 100%; }
.mp-toolbar select { max-width: 230px; }
.mp-toolbar .mp-toggle { color: var(--ink); }
.mp-toggle input { accent-color: var(--accent); width: 16px; height: 16px; }
.mp-workload { display: flex; flex-wrap: wrap; gap: 10px 22px; align-items: center; padding: 14px 0; border-top: 1px solid var(--line); font-size: 12px; }
.mp-workload > span { display: flex; align-items: center; gap: 8px; }
.mp-workload > span:first-child { color: var(--muted); }
.mp-task { display: inline-flex; align-items: center; justify-content: center; width: 30px; height: 30px; flex: 0 0 30px; border: 1px solid #d2dcd5; border-radius: 4px; font: 16px Georgia, serif; color: var(--ink); }
.mp-task-A, .mp-tick.mp-task-A { background: var(--accent-soft); color: var(--accent); }
.mp-task-B, .mp-tick.mp-task-B { background: #f4e9dc; color: var(--warm); }
.mp-task-C, .mp-tick.mp-task-C { background: #e2edf0; color: #365d66; }
.mp-task-D, .mp-tick.mp-task-D { background: #eceeec; color: #505a53; }
.mp-shared-queue { padding: 16px 0 0; border-top: 1px solid var(--line); }
.mp-shared-queue h3 { font-size: 14px; font-weight: 500; margin: 0 0 12px; }
.mp-shared-queue h3 span, .mp-local-queue h4 span { font-size: 10px; color: var(--muted); font-weight: 400; margin-left: 10px; }
#mp-shared-tasks, .mp-local-queue > div { display: flex; gap: 10px; align-items: center; flex-wrap: wrap; min-height: 32px; }
.mp-shared-queue > p { font-size: 11px; color: var(--muted); margin: 12px 0; }
.mp-distribution { display: flex; justify-content: space-around; font-size: 11px; color: var(--accent); padding: 8px 0 14px; }
.mp-board { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 24px; margin: 10px 0 20px; }
.mp-cpu { border: 1px solid var(--line); border-radius: 4px; padding: 18px; min-width: 0; }
.mp-cpu-heading { display: flex; align-items: baseline; justify-content: space-between; border-bottom: 1px solid var(--line); padding-bottom: 12px; }
.mp-cpu-heading h3 { font: 19px Georgia, serif; margin: 0; }
.mp-cpu-heading > span { color: var(--muted); font-size: 11px; }
.mp-running { display: flex; align-items: center; gap: 16px; height: 92px; }
.mp-running .mp-task { width: 46px; height: 46px; flex-basis: 46px; font-size: 24px; }
.mp-running strong { display: block; font-size: 17px; font-weight: 500; }
.mp-running div > span { display: block; color: var(--muted); font-size: 11px; margin-top: 5px; }
.mp-idle-icon { width: 46px; flex: 0 0 46px; text-align: center; font-size: 28px; color: #a4b0a8; }
.mp-used { font-size: 11px; color: var(--muted); margin: 8px 0 14px; }
.mp-local-queue, .mp-cache { border-top: 1px solid var(--line); padding-top: 14px; }
.mp-local-queue h4, .mp-cache h4 { font-size: 12px; font-weight: 500; margin: 0 0 10px; }
.mp-empty, .mp-queue-arrow { font-size: 12px; color: var(--muted); }
.mp-global-link { font-size: 12px; color: var(--accent); border-top: 1px solid var(--line); padding-top: 12px; }
.mp-cache { margin-top: 16px; }
.mp-cache p { min-height: 56px; font-size: 12px; color: var(--muted); margin: 0; }
.mp-cache .mp-task { vertical-align: middle; margin-right: 6px; }
.mp-summary { display: grid; grid-template-columns: repeat(4, minmax(0, 1fr)); gap: 18px; border-top: 1px solid var(--line); padding-top: 16px; margin: 0 0 24px; }
.mp-summary dt { font-size: 11px; color: var(--muted); }
.mp-summary dd { font-size: 18px; margin: 6px 0 0; }
.mp-timeline-heading { display: flex; flex-wrap: wrap; justify-content: space-between; align-items: baseline; gap: 8px; margin-bottom: 12px; }
.mp-timeline-heading h3 { font-size: 14px; font-weight: 500; margin: 0; }
.mp-timeline-heading p { color: var(--muted); font-size: 11px; margin: 0; }
.mp-timeline-scroll { overflow-x: auto; }
#mp-timeline { min-width: calc(64px + var(--mp-ticks) * 28px); }
.mp-axis, .mp-track { display: grid; grid-template-columns: 64px repeat(var(--mp-ticks), minmax(28px, 1fr)); align-items: center; }
.mp-axis { height: 26px; color: var(--muted); font-size: 10px; text-align: center; }
.mp-track { height: 35px; }
.mp-track > strong, .mp-axis > span:first-child { position: sticky; left: 0; z-index: 1; background: #fff; align-self: stretch; display: grid; place-items: center; font: 12px Georgia, serif; }
.mp-tick { height: 29px; border: 1px solid var(--line); border-left: 0; display: grid; place-items: center; font: 12px Georgia, serif; }
.mp-idle-tick { background: var(--surface); color: var(--muted); }
.mp-current-tick { border-left: 2px solid var(--accent); }
.mp-page #mp-position { width: 100%; margin: 16px 0 4px; accent-color: var(--accent); }
.mp-ledger { width: 100%; table-layout: fixed; border-collapse: collapse; text-align: left; font-size: 12px; }
.mp-ledger th, .mp-ledger td { padding: 10px 8px; border-bottom: 1px solid var(--line); font-weight: 400; overflow-wrap: anywhere; }
.mp-ledger thead { background: var(--surface); color: var(--muted); font-size: 11px; }
.mp-ledger th:first-child { width: 54px; }
.mp-ledger caption { text-align: left; font-size: 11px; color: var(--muted); margin-bottom: 10px; }
.mp-boundaries { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 26px 36px; }
.mp-boundaries h3 { font-size: 15px; font-weight: 500; margin: 0 0 10px; }
.mp-boundaries p { font-size: 13px; color: var(--muted); margin: 0; }
@media (max-width: 760px) {
  .mp-board { grid-template-columns: 1fr; gap: 16px; }
  .mp-cpu { padding: 14px; }
  .mp-summary, .mp-boundaries { grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 20px; }
  .mp-summary dd { font-size: 16px; }
  .mp-boundaries { grid-template-columns: 1fr; }
  .mp-toolbar label { flex-wrap: wrap; }
  .mp-toolbar select { max-width: 100%; }
}
.pg-allocation { margin: 22px 0; }
.pg-allocation figcaption { display: flex; flex-direction: column; gap: 5px; margin-bottom: 14px; font-size: 15px; }
.pg-allocation figcaption > span { font-size: 12px; color: var(--muted); }
.pg-alloc-band { display: grid; grid-template-columns: repeat(8, minmax(0, 1fr)); gap: 8px; }
.pg-alloc-frame { min-width: 0; min-height: 110px; padding: 10px 6px; border: 1px solid var(--line); font-size: 12px; }
.pg-alloc-frame > span, .pg-alloc-frame > strong, .pg-alloc-frame > small { display: block; }
.pg-alloc-frame > small { color: var(--muted); font-size: 10px; margin-top: 8px; }
.pg-occupied { background: var(--surface); color: var(--muted); }
.pg-allocated { border-color: #92b5a4; color: var(--accent); }
.pg-four { display: grid; grid-template-columns: repeat(4, minmax(0, 1fr)); gap: 2px; margin-top: 10px; }
.pg-four > span { height: 22px; border: 1px solid #c8d1cc; }
.pg-occupied .pg-four > span { background: #c8d1cc; }
.pg-allocated .pg-four > span { background: var(--accent); border-color: var(--accent); }
.pg-allocated .pg-four > .pg-waste { background: repeating-linear-gradient(135deg, #fff, #fff 3px, #d7b98d 3px, #d7b98d 5px); border-color: #d7b98d; }
.pg-allocation-result { font-size: 14px; margin-top: 14px; }
.pg-allocation-result strong { color: var(--warm); }
.pg-cannot { color: var(--warm); }
.pg-region { display: grid; grid-template-columns: 1fr 1fr 1fr; gap: 16px; align-items: center; padding: 18px 0; border-top: 1px solid var(--line); border-bottom: 1px solid var(--line); font-size: 13px; }
.pg-region > div { border-left: 3px solid var(--accent); padding-left: 12px; }
.pg-region strong, .pg-region div > span { display: block; }
.pg-region div > span { font-size: 12px; color: var(--muted); }
@media (max-width: 760px) {
  .pg-alloc-band { grid-template-columns: repeat(4, minmax(0, 1fr)); gap: 6px; }
  .pg-alloc-frame { padding: 8px 5px; }
  .pg-region { grid-template-columns: 1fr 1fr; gap: 12px; }
  .pg-region > span { grid-column: 1 / -1; }
}
.paging-toolbar { display: flex; align-items: center; gap: 28px; }
.address-control { display: flex; align-items: center; gap: 12px; font-size: 13px; }
.address-control input { width: 78px; height: 44px; padding: 8px 10px; border: 1px solid var(--line); border-radius: 4px; color: var(--ink); background: #fff; font: 20px Georgia, serif; }
.address-control > span { color: var(--muted); font-size: 12px; white-space: nowrap; }
#paging-address-range { flex: 1; min-width: 120px; max-width: 260px; }
.paging-error { min-height: 24px; font-size: 12px; color: #a2372a; padding-top: 4px; }
.paging-stages { display: grid; grid-template-columns: repeat(4, minmax(0, 1fr)); margin: 4px 0 22px; }
.paging-stages button { padding: 12px 8px; border: 0; border-bottom: 2px solid var(--line); background: #fff; color: var(--muted); font-size: 13px; min-height: 48px; }
.paging-stages button > span { font: 12px Georgia, serif; margin-right: 10px; }
.paging-stages button[aria-pressed="true"] { color: var(--accent); border-bottom-color: var(--accent); background: #f3f6f4; }
.paging-stages button:disabled { opacity: .45; cursor: default; }
.paging-visual.invalid { display: none; }
.paging-page .paging-event { margin: 0 0 22px; }
.pg-calculation { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 24px; margin: 18px 0 8px; padding: 16px 0; border-bottom: 1px solid var(--line); }
.pg-calculation dt { color: var(--muted); font-size: 12px; }
.pg-calculation dd { margin: 8px 0 0; font-size: 16px; }
.pg-route { position: absolute; inset: 0; width: 100%; height: 100%; overflow: visible; pointer-events: none; }
.paging-addresses { display: grid; grid-template-columns: 1fr 48px 1fr; padding: 22px 28px; background: var(--surface); align-items: center; }
.address-label { font-size: 13px; }
.address-label > span { color: var(--muted); font: 12px Georgia, serif; margin-left: 10px; }
.address-value { font: 38px/1.4 Georgia, serif; min-height: 54px; margin-top: 4px; }
.address-arrow { color: #80938a; font-size: 28px; justify-self: center; }
.address-bits { display: flex; gap: 14px; min-height: 74px; padding-top: 8px; align-items: start; }
.bit-group > div { display: flex; gap: 3px; }
.bit { display: grid; place-items: center; width: 28px; height: 32px; background: #e5eae7; color: #55645c; font: 18px Georgia, serif; }
.bit-group > span { display: block; font-size: 11px; color: var(--muted); padding-top: 5px; }
.page-bits .bit { background: var(--accent-soft); color: var(--accent); }
.offset-bits .bit { background: #f4e9dc; color: #824e25; }
.pending-address { color: var(--muted); font-size: 12px; padding-top: 8px; }
.paging-map { position: relative; display: grid; grid-template-columns: 1fr .9fr 1.3fr; gap: 48px; padding-top: 26px; }
.paging-map h3 { font-size: 15px; font-weight: 500; }
.map-subtitle { font-size: 11px; color: var(--muted); margin: 3px 0 14px; }
.virtual-page { min-height: 88px; display: grid; grid-template-columns: 1fr auto; align-items: center; gap: 8px; border-bottom: 1px solid var(--line); padding: 10px 14px; }
.pg-virtual-units { grid-column: 1 / -1; display: grid; grid-template-columns: repeat(4, minmax(0, 1fr)); }
.pg-virtual-units > span { display: grid; place-items: center; height: 28px; border: 1px solid var(--line); font: 12px Georgia, serif; }
.pg-virtual-units > .pg-offset-selected { background: #f3ede6; color: var(--warm); border-color: #d7b98d; font-weight: 600; }
.virtual-page strong { font-size: 14px; font-weight: 500; }
.virtual-page > span { font: 13px Georgia, serif; color: var(--muted); }
.virtual-page.active { background: var(--accent-soft); color: var(--accent); box-shadow: inset 3px 0 var(--accent); }
.paging-table { width: 100%; border-collapse: collapse; text-align: center; table-layout: fixed; font-size: 14px; }
.paging-table th, .paging-table td { padding: 11px 6px; border-bottom: 1px solid var(--line); font-weight: 400; }
.paging-table thead { font-size: 12px; color: var(--muted); }
.paging-table tr.active { color: var(--accent); background: var(--accent-soft); }
.physical-frame { display: grid; grid-template-columns: 74px repeat(4, minmax(0, 1fr)); align-items: center; min-height: 42px; border-bottom: 1px solid var(--line); }
.physical-frame > span:first-child { font-size: 12px; padding: 3px 8px; }
.physical-frame small { display: block; color: var(--muted); font-size: 10px; }
.frame-unit { display: grid; place-items: center; align-self: stretch; border-left: 1px solid var(--line); font: 12px Georgia, serif; color: var(--muted); }
.physical-frame.active { background: var(--accent-soft); }
.frame-unit.active { background: #f3ede6; color: var(--warm); box-shadow: inset 0 0 0 1px #d7b98d; font-weight: 600; }
.paging-page .paging-map { gap: 48px; }
@media (max-width: 760px) {
  .pg-calculation { grid-template-columns: 1fr; gap: 14px; }
  .pg-calculation > div { display: flex; justify-content: space-between; align-items: baseline; gap: 12px; }
  .pg-calculation dd { font-size: 14px; text-align: right; margin: 0; }
  .paging-page .paging-map { grid-template-columns: 1fr; gap: 30px; padding-right: 26px; }
  .paging-page .physical-frames { grid-column: auto; }
}
.paging-event { min-height: 132px; margin-top: 24px; padding: 8px 0 8px 18px; border-left: 2px solid #b6c9bd; max-width: 850px; }
.paging-event .detail-kicker { margin-bottom: 7px; }
.paging-event h3 { font-size: 19px; font-weight: 500; margin-bottom: 8px; }
.paging-event > p:last-child { font-size: 14px; color: var(--muted); }
.paging-rules { margin-top: 28px; }
.paging-formula { font-size: 18px; margin-bottom: 24px; color: var(--accent); }
.fault-page h1 span { font-size: 38px; }
.pf-demand { margin: 24px 0; }
.pf-demand figcaption { display: flex; flex-direction: column; gap: 5px; margin-bottom: 16px; font-size: 15px; }
.pf-demand figcaption > span { font-size: 12px; color: var(--muted); }
.pf-page-strip { display: grid; grid-template-columns: repeat(5, minmax(0, 1fr)); gap: 8px; }
.pf-page-strip > div { padding: 12px; min-width: 0; border: 1px solid var(--line); font-size: 13px; }
.pf-page-strip strong, .pf-page-strip span, .pf-page-strip small { display: block; }
.pf-page-strip span, .pf-page-strip small { color: var(--muted); font-size: 11px; margin-top: 5px; }
.pf-resident { background: var(--accent-soft); }
.pf-page-strip .pf-nonresident { border-style: dashed; }
.pf-page-strip .pf-target { border-color: #bc935e; background: #faf3e9; }
.pf-demand-total { font-size: 13px; color: var(--muted); margin-top: 14px; }
.pf-trigger { display: flex; flex-wrap: wrap; gap: 10px 24px; padding: 18px 0; border-top: 1px solid var(--line); border-bottom: 1px solid var(--line); font-size: 14px; }
.pf-trigger > span { color: var(--warm); }
.pf-trigger > p { width: 100%; color: var(--muted); font-size: 13px; }
.pf-decisions { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 26px; margin: 24px 0; }
.pf-decisions h3 { font-size: 15px; }
.pf-decisions p { color: var(--muted); font-size: 13px; margin-top: 10px; }
.pf-execution { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 24px; padding: 18px 0; border-top: 1px solid var(--line); border-bottom: 1px solid var(--line); margin-bottom: 22px; }
.pf-execution > div { min-width: 0; min-height: 110px; }
.pf-execution span, .pf-execution strong, .pf-execution small { display: block; }
.pf-execution span, .pf-execution small { color: var(--muted); font-size: 11px; }
.pf-execution strong { font-size: 15px; font-weight: 500; margin: 8px 0; }
.fault-page .fault-event { margin: 0 0 20px; }
.fault-page .fault-observation { grid-template-columns: repeat(2, minmax(0, 1fr)); }
.fault-page .fault-observation > div { grid-column: auto; }
.fault-page .fault-map { position: relative; grid-template-columns: 1fr 1.3fr .7fr; gap: 48px; padding: 30px 26px 12px 0; }
.fault-page .fault-map > div { min-width: 0; }
.fault-page .pf-memory-node { order: 2; }
.fault-page .fault-storage { display: block; grid-column: auto; order: 3; }
.fault-page .fault-transfer { margin-top: 14px; min-height: 42px; }
.pf-route { position: absolute; inset: 0; width: 100%; height: 100%; pointer-events: none; overflow: visible; }
.pf-table-status, .pf-address-result { font-size: 12px; color: var(--muted); margin-top: 16px; }
.fault-table .pf-missing { background: #faf3e9; color: var(--warm); }
.fault-page .fault-frames { grid-template-columns: 1fr; }
.fault-page .fault-frame { display: grid; grid-template-columns: 1fr 1fr; gap: 6px 12px; padding: 10px; min-height: 100px; }
.fault-page .fault-frame > p { grid-column: 1 / -1; }
.fault-page .fault-frame > strong { margin-top: 0; font-size: 14px; }
.fault-page .fault-frame-note { margin-top: 0; text-align: right; }
.pf-frame-units { display: grid; grid-template-columns: repeat(4, minmax(0, 1fr)); grid-column: 1 / -1; margin-top: 2px; }
.pf-frame-units > span { display: grid; place-items: center; min-height: 26px; font: 12px Georgia, serif; border: 1px solid var(--line); color: var(--muted); }
.pf-frame-units > .pf-address-selected { background: #f3ede6; color: var(--warm); border-color: #d7b98d; font-weight: 600; }
.pf-consequences { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 30px; margin-top: 28px; border-top: 1px solid var(--line); padding-top: 22px; }
.pf-consequences h3 { font-size: 16px; }
.pf-consequences p { margin-top: 12px; font-size: 13px; color: var(--muted); }
@media (max-width: 760px) {
  .pf-page-strip { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .pf-decisions { grid-template-columns: 1fr; gap: 20px; }
  .pf-execution { grid-template-columns: 1fr; gap: 16px; }
  .fault-page .fault-map { grid-template-columns: 1fr; gap: 30px; }
  .fault-page .fault-storage { order: 2; }
  .fault-page .pf-memory-node { order: 3; }
  .pf-consequences { grid-template-columns: 1fr; gap: 24px; }
}
.fault-toolbar { display: flex; align-items: center; gap: 32px; }
.fault-scenarios { border: 0; padding: 0; margin: 0; }
.fault-scenarios legend { color: var(--muted); font-size: 11px; margin-bottom: 5px; }
.fault-scenarios > div { display: flex; padding: 3px; gap: 3px; background: var(--surface); border-radius: 4px; }
.fault-scenarios label { position: relative; cursor: pointer; }
.fault-scenarios input { position: absolute; width: 1px; height: 1px; clip-path: inset(50%); overflow: hidden; }
.fault-scenarios label span { display: block; min-width: 96px; padding: 6px 12px; text-align: center; font-size: 13px; color: var(--muted); border-radius: 2px; }
.fault-scenarios input:checked + span { background: #fff; color: var(--accent); box-shadow: 0 1px 3px rgb(25 35 29 / .08); }
.fault-scenarios input:focus-visible + span { outline: 2px solid var(--accent); outline-offset: 2px; }
.fault-request { display: grid; grid-template-columns: repeat(4, minmax(0, 1fr)); margin: 24px 0 18px; border-top: 1px solid var(--line); border-bottom: 1px solid var(--line); padding: 14px 0; }
.fault-request dt { font-size: 11px; color: var(--muted); }
.fault-request dd { margin: 4px 0 0; font: 28px/1.3 Georgia, serif; }
.fault-request dd#fault-physical { color: var(--accent); }
.fault-stages { grid-template-columns: repeat(var(--stage-count), minmax(0, 1fr)); margin: 0 0 28px; }
.fault-stages button { padding: 10px 4px; font-size: 12px; }
.fault-stages button > span { margin-right: 6px; }
.fault-map { display: grid; grid-template-columns: 1.1fr 1.3fr .8fr; gap: 28px; }
.fault-map h3 { font-size: 15px; font-weight: 500; }
.fault-table { font-size: 14px; }
.fault-frames { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 10px; }
.fault-frame { min-height: 106px; padding: 12px; background: var(--surface); border: 1px solid var(--line); border-radius: 4px; }
.fault-frame p { display: flex; justify-content: space-between; gap: 8px; font-size: 11px; color: var(--muted); }
.fault-frame p span { font-family: Georgia, serif; }
.fault-frame strong { display: block; margin-top: 12px; font-size: 15px; font-weight: 500; }
.fault-frame-note { display: block; font-size: 10px; color: var(--muted); margin-top: 3px; }
.fault-frame.active { background: var(--accent-soft); border-color: #afcdbb; color: var(--accent); }
.fault-frame.loading { background: #faf3e9; border: 1px dashed #bf945f; }
.fault-storage-page { display: flex; flex-direction: column; justify-content: center; width: 94px; min-height: 106px; padding: 12px 16px; background: #f4e9dc; border: 1px solid #d5ba97; border-radius: 4px; color: #824e25; }
.fault-storage-page > span { font-size: 18px; }
.fault-storage-page small { font-size: 11px; margin-top: 6px; }
.fault-transfer { min-height: 42px; margin-top: 14px; color: var(--warm); font-size: 12px; }
.fault-storage-note { font-size: 11px; color: var(--muted); max-width: 180px; }
.fault-observation { display: grid; grid-template-columns: 1.2fr 1fr 1fr; gap: 16px; border-top: 1px solid var(--line); margin-top: 24px; padding-top: 18px; }
.fault-observation > div { display: flex; align-items: baseline; flex-wrap: wrap; gap: 8px 12px; }
.fault-observation span { color: var(--muted); font-size: 12px; }
.fault-observation strong { font-size: 18px; font-weight: 500; }
.fault-observation small { color: var(--muted); font-size: 11px; }
.fault-event { min-height: 145px; }
@media (max-width: 1240px) {
  .state-workbench { grid-template-columns: 1fr; }
  .state-detail { border-left: 0; border-bottom: 1px solid var(--line); padding: 22px 0; min-height: 250px; }
  .story-steps { grid-template-columns: repeat(4, minmax(0, 1fr)); }
  .concepts { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .rr-concepts { grid-template-columns: repeat(3, minmax(0, 1fr)); }
  .rr-toolbar { gap: 20px; flex-wrap: wrap; }
  .rr-flow { padding: 20px 16px; grid-template-columns: 1fr 28px 1.2fr 28px 1fr; }
  .rr-cpu { padding: 0 12px; }
  .lane-heading { flex-direction: column; gap: 2px; }
  .paging-map { gap: 20px; }
  .fault-page h1 span { display: block; margin: 8px 0 0; }
  .fault-stages { grid-template-columns: repeat(4, minmax(0, 1fr)); }
  .fault-map { grid-template-columns: 1fr 1.25fr; gap: 24px; }
  .fault-storage { grid-column: 1 / -1; display: grid; grid-template-columns: 1fr 94px 1fr; gap: 0 18px; align-items: start; }
  .fault-storage h3, .fault-storage .map-subtitle { grid-column: 1; }
  .fault-storage-page { grid-column: 2; grid-row: 1 / 4; }
  .fault-transfer { grid-column: 3; grid-row: 1; margin-top: 0; min-height: 0; }
  .fault-storage-note { grid-column: 3; grid-row: 2 / 4; }
}
@media (max-width: 1000px) {
  .page { padding: 0 32px; }
  .wiki-sidebar { left: 0; width: min(300px, calc(100vw - 40px)); padding: 24px 18px; box-shadow: 8px 0 30px rgb(25 35 29 / .08); }
  .sidebar-heading { padding: 0 8px 26px; }
  .menu-open.icon-button, .menu-close.icon-button { display: grid; }
  .menu-open.icon-button { border-color: transparent; background: transparent; }
  .menu-close.icon-button { flex-shrink: 0; width: 36px; height: 36px; font-size: 26px; border-color: transparent; background: transparent; }
  .mobile-brand { display: inline-flex; }
  .article-location { display: none; }
}
@media (max-width: 760px) {
  .page { padding: 0 20px; }
  .site-header { min-height: 70px; flex-wrap: wrap; gap: 12px; padding: 18px 0; }
  .brand .brand-caption { margin-left: 12px; }
  .site-header nav { gap: 20px; width: 100%; font-size: 12px; }
  .intro { padding: 30px 0; }
  h1, h1 span { font-size: 34px; }
  h1 span { margin-left: 6px; }
  .lead { font-size: 18px; }
  .definition { font-size: 14px; }
  .model-note { font-size: 11px; }
  .section-heading { align-items: start; flex-direction: column; gap: 8px; margin-bottom: 16px; }
  h2 { font-size: 22px; }
  .state-workbench { grid-template-columns: 1fr; }
  .diagram-desktop { display: none; }
  .diagram-mobile { display: block; max-width: 400px; margin: auto; }
  .diagram-surface { padding: 12px 0; }
  .edge-label { font-size: 18px; }
  .node-label { font-size: 21px; }
  .node-english { font-size: 12px; }
  .state-detail { border-left: 0; border-bottom: 1px solid var(--line); padding: 22px 0; min-height: 295px; }
  .state-detail h3 { font-size: 23px; margin-bottom: 12px; }
  .story-heading { flex-direction: column; gap: 4px; }
  .story-steps { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .story-steps button { min-height: 98px; }
  .step-title { font-size: 14px; }
  .story-detail { min-height: 140px; }
  .pcb-section, .related-section { margin-top: 32px; }
  .pcb-table { font-size: 14px; }
  .pcb-table th, .pcb-table td { padding: 12px 7px; }
  .pcb-table th:first-child { width: 26%; }
  .pcb-table th:nth-child(2) { width: 30%; }
  .pcb-table tbody th span { font-size: 11px; }
  .concepts { grid-template-columns: 1fr; gap: 22px; }
  .concepts dd { font-size: 14px; }
  .rr-page h1 span { display: block; font-size: 26px; margin: 6px 0 0; }
  .mlfq-stage { grid-template-columns: 1fr; gap: 22px; padding: 18px 14px; }
  .mlfq-cpu { border-left: 0; border-top: 1px solid var(--line); padding: 18px 0 0; }
  .mlfq-level { padding-left: 9px; }
  .mlfq-level-heading h3 span { margin-left: 6px; }
  .mlfq-level-heading p span { padding: 0 2px; }
  .mlfq-availability { margin-top: 18px; }
  .mlfq-toolbar .speed-control { margin-left: 0; }
  .mlfq-comparison dl { gap: 28px; }
  .share-page h1 span { font-size: 26px; }
  .share-mechanisms { grid-template-columns: 1fr; padding: 20px 18px; gap: 20px; }
  .share-mechanism + .share-mechanism { padding-left: 0; padding-top: 20px; border-left: 0; border-top: 1px solid var(--line); }
  .share-results { grid-template-columns: 1fr; gap: 12px; }
  .share-method-note { min-height: 0; }
  .lde-page h1 span { font-size: 24px; }
  .lde-cpu-status { grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 18px; }
  .lde-cpu-status dd { font-size: 16px; }
  .lde-context-detail, .lde-entry-layout { grid-template-columns: 1fr; gap: 22px; }
  .rr-demo .section-heading { flex-direction: row; align-items: end; }
  .rr-demo .section-heading h2 { font-size: 20px; }
  .rr-clock { font-size: 11px !important; }
  .rr-clock strong { font-size: 23px; width: 16px; margin: 0 2px; }
  .rr-toolbar { gap: 16px; padding-top: 0; }
  .rr-transport { gap: 6px; }
  .icon-button { width: 40px; height: 40px; }
  .ma-page .rr-transport .icon-button { width: 44px; height: 44px; }
  .ma-page #ma-code { min-height: 0; }
  .as-page .rr-transport .icon-button, .as-page #as-isolation-reset { width: 44px; height: 44px; flex-shrink: 0; }
  .speed-control { margin-left: auto; }
  .quantum-control { order: 3; width: 100%; justify-content: space-between; }
  .quantum-control input { width: 65%; }
  .rr-flow { grid-template-columns: 1fr; padding: 18px; gap: 10px; min-height: 0; }
  .rr-cpu { border-left: 0; border-right: 0; padding: 14px 0; border-top: 1px solid var(--line); border-bottom: 1px solid var(--line); }
  .lane-heading { flex-direction: row; }
  .lane-content, .cpu-content { min-height: 86px; }
  .process-token { min-height: 64px; padding: 8px 14px; min-width: 82px; }
  .process-token strong { font-size: 23px; }
  .flow-arrow { display: none; }
  .timeline-heading { flex-direction: column; align-items: start; gap: 7px; }
  .process-legend { gap: 14px; }
  .rr-event { min-height: 188px; padding-left: 14px; }
  .rr-event h3 { font-size: 17px; }
  .rr-summary { gap: 12px 20px; font-size: 11px; }
  .rr-concepts { grid-template-columns: 1fr; }
  .paging-page h1 { font-size: 32px; }
  .paging-page h1 span { display: block; font-size: 26px; margin: 6px 0 0; }
  .paging-toolbar { flex-wrap: wrap; gap: 14px; }
  .address-control { gap: 8px; }
  .address-control input { width: 64px; height: 40px; }
  .address-control > span { font-size: 11px; }
  #paging-address-range { flex-basis: 100%; max-width: none; }
  .paging-stages { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .paging-stages button { font-size: 12px; padding: 10px 5px; }
  .paging-stages button > span { margin-right: 6px; }
  .paging-addresses { grid-template-columns: 1fr; padding: 18px; gap: 14px; }
  .address-arrow { display: none; }
  .address-block + .address-arrow + .address-block { border-top: 1px solid var(--line); padding-top: 16px; }
  .address-value { font-size: 32px; }
  .address-bits { min-height: 66px; }
  .paging-map { grid-template-columns: 1fr 1fr; gap: 20px 14px; }
  .physical-frames { grid-column: 1 / -1; }
  .paging-map h3 { font-size: 14px; }
  .virtual-page { padding: 10px 7px; }
  .virtual-page strong { font-size: 12px; }
  .virtual-page > span { font-size: 11px; }
  .map-subtitle { min-height: 34px; }
  .physical-frames .map-subtitle { min-height: 0; }
  .paging-event { min-height: 180px; padding-left: 14px; }
  .paging-formula { font-size: 16px; }
  .fault-page h1 { font-size: 30px; }
  .fault-page h1 span { font-size: 26px; }
  .fault-toolbar { flex-wrap: wrap; gap: 16px 24px; }
  .fault-stages { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .fault-request dd { font-size: 24px; }
  .fault-map { grid-template-columns: 1fr; gap: 24px; }
  .fault-map .map-subtitle { min-height: 0; }
  .fault-storage { grid-template-columns: 1fr 94px; gap: 0 16px; }
  .fault-transfer { grid-column: 1; grid-row: 3; }
  .fault-storage-note { grid-column: 1; grid-row: 4; margin-top: 8px; }
  .fault-observation { grid-template-columns: 1fr 1fr; gap: 14px; }
  .fault-observation > div:first-child { grid-column: 1 / -1; }
  .fault-observation strong { font-size: 16px; }
  .fault-event { min-height: 180px; }
}
@media (max-width: 380px) {
  .ma-page .lde-toolbar { grid-template-columns: minmax(0, 1fr); }
  .ma-page .lde-toolbar > label:last-of-type { grid-column: 1; grid-row: 3; justify-self: start; }
}
@media (prefers-reduced-motion: reduce) {
  html { scroll-behavior: auto; }
  * { transition: none !important; }
}

.fs-page [hidden] { display: none; }
.fs-section { margin-top: 36px; }
.fs-toolbar { flex-wrap: wrap; }
.fs-toolbar label { display: flex; align-items: center; gap: 10px; font-size: 12px; }
.fs-toolbar input { width: 72px; padding: 7px 10px; border: 1px solid var(--line); border-radius: 4px; font: 18px Georgia, serif; color: var(--ink); background: #fff; }
.fs-page input[type="range"] { display: block; width: 100%; margin: 22px 0 0; accent-color: var(--accent); }
.fs-steps { display: grid; grid-template-columns: repeat(6, minmax(0, 1fr)); list-style: none; margin: 20px 0 24px; padding: 0; }
.fs-steps button { width: 100%; min-height: 54px; padding: 10px 6px; border: 0; border-bottom: 2px solid var(--line); background: #fff; color: var(--muted); font-size: 12px; }
.fs-steps button span { display: inline-block; margin-right: 6px; font-family: Georgia, serif; }
.fs-steps button[aria-pressed="true"] { color: var(--accent); background: var(--surface); border-color: var(--accent); }
.fs-story-workbench { display: grid; grid-template-columns: minmax(0, 1fr) 300px; gap: 32px; }
.fs-story-view, .fs-story-event, .fs-policy { min-width: 0; }
.fs-story-view h3 { font-size: 16px; font-weight: 500; }
.fs-caption { font-size: 12px; color: var(--muted); margin: 10px 0 18px; }
.fs-map { display: grid; grid-template-columns: repeat(var(--fs-capacity), minmax(0, 1fr)); height: 62px; border-top: 1px solid var(--line); border-bottom: 1px solid var(--line); }
.fs-block { display: grid; place-items: center; min-width: 0; border-left: 1px solid #aab9b1; border-right: 1px solid #aab9b1; position: relative; }
.fs-block span { font: 18px Georgia, serif; }
.fs-free { background: repeating-linear-gradient(135deg, #fff, #fff 5px, #edf1ee 5px, #edf1ee 6px); color: var(--muted); }
.fs-object { background: #dce8ec; color: #365d66; }
.fs-new { background: var(--accent); color: #fff; }
.fs-selected { outline: 2px solid var(--warm); outline-offset: -3px; }
.fs-map-ends { display: flex; justify-content: space-between; gap: 8px; font-size: 11px; color: var(--muted); margin-top: 6px; }
.fs-legend { display: flex; flex-wrap: wrap; gap: 8px 18px; font-size: 11px; color: var(--muted); margin: 18px 0; }
.fs-legend span { display: inline-flex; align-items: center; gap: 6px; }
.fs-legend span::before { content: ''; width: 10px; height: 10px; border: 1px solid var(--line); }
.fs-key-free::before { background: #fff; }
.fs-key-object::before { background: #dce8ec; }
.fs-key-new::before { background: var(--accent); }
.fs-key-scan::before { background: #faf0e4; border-color: #d7bb97 !important; }
.fs-stats { display: flex; flex-wrap: wrap; gap: 16px 26px; margin: 20px 0; padding-top: 14px; border-top: 1px solid var(--line); }
.fs-stats dt { font-size: 11px; color: var(--muted); }
.fs-stats dd { margin: 4px 0 0; font: 26px Georgia, serif; }
.fs-list { width: 100%; border-collapse: collapse; text-align: left; font-size: 12px; table-layout: fixed; }
.fs-list caption { text-align: left; font-size: 12px; margin-bottom: 10px; }
.fs-list th, .fs-list td { padding: 8px 6px; border-bottom: 1px solid var(--line); font-weight: 400; }
.fs-list th:last-child { width: 42%; }
.fs-list thead { color: var(--muted); background: var(--surface); font-size: 11px; }
.fs-inspected { background: #faf0e4; color: var(--warm); }
.fs-chosen { box-shadow: inset 3px 0 var(--warm); }
.fs-objects { font-size: 12px; color: #365d66; margin-top: 16px; }
.fs-story-event { border-left: 2px solid #b6c9bd; padding-left: 22px; }
.fs-story-event h3 { font-size: 19px; line-height: 1.5; font-weight: 500; margin-bottom: 16px; }
.fs-story-event > p:not(.detail-kicker) { font-size: 13px; color: var(--muted); }
.fs-story-event .fs-outcome { margin-top: 22px; color: var(--accent) !important; }
.fs-failed { color: var(--warm) !important; }
.fs-story-event .fs-outcome.fs-failed { color: var(--warm) !important; }
.fs-notes { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 28px; margin-top: 24px; }
.fs-notes h3, .fs-further h3 { font-size: 15px; font-weight: 500; margin-bottom: 12px; }
.fs-notes p, .fs-further p { font-size: 13px; color: var(--muted); }
.fs-policies { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 28px; }
.fs-policy + .fs-policy { padding-left: 24px; border-left: 1px solid var(--line); }
.fs-policy h3 { font: 22px Georgia, serif; }
.fs-policy h3 span { display: block; font: 12px/1.6 "Microsoft YaHei", sans-serif; color: var(--muted); margin-top: 6px; }
.fs-policy-rule { font-size: 12px; color: var(--muted); min-height: 64px; margin-top: 14px; }
.fs-policy-progress { font-size: 11px; color: var(--accent); margin: 12px 0; }
.fs-policy .fs-map { height: 48px; }
.fs-policy .fs-block span { font-size: 15px; }
.fs-policy-event { font-size: 12px; min-height: 148px; margin: 18px 0; }
.fs-policy-result { font-size: 12px; color: var(--accent); }
.fs-comparison { margin-top: 20px; font-size: 13px; padding-left: 14px; border-left: 2px solid #b6c9bd; }
.fs-error { color: var(--warm); font-size: 13px; margin: 12px 0; }
.fs-further { border-top: 1px solid var(--line); margin-top: 28px; padding-top: 20px; }
.fs-further p + p { margin-top: 12px; }
@media (max-width: 1240px) {
  .fs-story-workbench { grid-template-columns: minmax(0, 1fr) 260px; gap: 24px; }
  .fs-policies { grid-template-columns: 1fr; gap: 28px; }
  .fs-policy + .fs-policy { padding-left: 0; padding-top: 24px; border-left: 0; border-top: 1px solid var(--line); }
  .fs-policy-rule, .fs-policy-event { min-height: 0; }
}
@media (max-width: 760px) {
  .fs-page .site-header nav { flex-wrap: wrap; gap: 8px 16px; }
  .fs-page h1 span { font-size: 24px; }
  .fs-steps { grid-template-columns: repeat(3, minmax(0, 1fr)); }
  .fs-story-workbench, .fs-notes { grid-template-columns: 1fr; gap: 24px; }
  .fs-story-event { order: -1; padding-left: 14px; }
  .fs-story-event h3 { font-size: 18px; }
  .fs-toolbar { gap: 14px; }
  .fs-stats { gap: 14px 20px; }
}