:root{--background:#fff4cf;--surface:#fffcf1;--text:#332215;--primary:#9d340e;--accent:#e5c321;--muted:#69513b;--border:#8b6941;--error:#8b2415;color-scheme:light}*{box-sizing:border-box}body{margin:0;background:var(--background);color:var(--text);font:16px/1.55 Verdana,sans-serif}header,main{max-width:1360px;margin:auto;padding:24px 32px}header{display:flex;justify-content:space-between;gap:16px;align-items:center}header strong{font:bold 22px Arial,sans-serif}a{color:var(--primary);text-underline-offset:4px}h1,h2,h3{font-family:Arial,sans-serif;line-height:1.15}h1{font-size:32px;margin:8px 0 16px}h2{font-size:23px;margin:0 0 24px}.summary{max-width:85ch;margin-bottom:24px}.command{border:2px solid var(--border);border-radius:18px;background:var(--accent);padding:16px 24px;margin-bottom:24px}.command p{margin:8px 0 0}.workspace{display:grid;grid-template-columns:minmax(0,1fr) minmax(0,1fr);gap:24px}.workspace section,.proof{min-width:0;background:var(--surface);border:2px solid var(--border);border-radius:18px;padding:24px}.proof{margin-block:24px}pre{font:16px/1.7 Verdana,sans-serif;font-variant-numeric:tabular-nums;white-space:pre-wrap;overflow-wrap:anywhere;margin:0;color:var(--primary)}.table-scroll{overflow:auto;max-height:400px}table{border-collapse:collapse;min-width:760px;width:100%;font-variant-numeric:tabular-nums;font-size:14px}caption{text-align:left;margin-bottom:16px}th,td{text-align:right;padding:12px 8px;border-bottom:2px solid var(--border);white-space:nowrap}th:first-child,td:first-child{text-align:left}th{color:var(--muted)}:focus-visible{outline:3px solid var(--text);outline-offset:4px}@media(max-width:1000px){.workspace{grid-template-columns:1fr}}@media(max-width:600px){header,main{padding:16px}header strong{font-size:18px}h1{font-size:28px}.workspace section,.proof{padding:16px}.command{padding:16px}}
/* Interactive bench; retain the approved Citrus Workshop tokens above. */
label{display:block;font-weight:bold;margin:12px 0 8px}input,textarea,button{font:inherit;color:var(--text);border:2px solid var(--border);border-radius:8px}input,textarea{background:var(--surface);padding:12px;width:100%;min-width:0}input{max-width:320px}textarea{resize:vertical;line-height:1.65;white-space:pre;overflow:auto;font-variant-numeric:tabular-nums}button{min-height:46px;padding:10px 16px;background:var(--surface);box-shadow:0 3px 0 var(--border);cursor:pointer;font-weight:bold}button.primary{background:var(--primary);color:var(--surface);border-color:var(--primary)}button:hover:enabled{border-color:var(--text)}button:active:enabled{transform:translateY(2px);box-shadow:0 1px 0 var(--border)}button:disabled{opacity:.5;cursor:not-allowed;box-shadow:none}.command{display:flex;align-items:center;justify-content:space-between;gap:24px}.offset-field{flex:1}.command label{margin-top:0}.command .hint{margin:8px 0 0}.actions{display:flex;gap:12px;flex-wrap:wrap}.hint{font-size:14px;color:var(--muted)}#status{min-height:25px;font-size:14px}#error{background:var(--surface);border:2px solid var(--error);border-radius:8px;color:var(--error);padding:16px}[aria-invalid=true]{border-color:var(--error)}#boundaries p{font-size:14px;overflow-wrap:anywhere}#count{color:var(--primary);margin-top:0}#download{margin-top:12px}.notes,.faq{margin-top:32px}.notes p,.faq p{max-width:95ch}details{border-top:2px solid var(--border)}summary{cursor:pointer;font-weight:bold;padding:16px 0;min-height:48px}details p{margin:0 0 24px}.skip{position:absolute;top:-100px;left:16px;background:var(--surface);padding:12px;z-index:2}.skip:focus{top:8px}[hidden]{display:none!important}@media(max-width:1000px){.command{flex-wrap:wrap}.offset-field{flex-basis:100%}}@media(max-width:600px){.actions{width:100%;flex-direction:column}.actions button,input{width:100%;max-width:none}#download{width:100%}.workspace h2{margin-bottom:16px}}@media(prefers-reduced-motion:no-preference){#proof:not([hidden]){animation:reveal .15s ease-out}@keyframes reveal{from{opacity:.5;transform:translateY(4px)}to{opacity:1;transform:none}}}@media(prefers-reduced-motion:reduce){*,*::before,*::after{animation:none!important;transition:none!important}button:active:enabled{transform:none}}