:root{color-scheme:light;font-family:system-ui,-apple-system,sans-serif;color:#223b39;background:#f5f4ef}*{box-sizing:border-box}body{margin:0}main{max-width:600px;margin:auto;padding:28px 24px 60px}header{display:flex;align-items:center;justify-content:space-between;padding-bottom:22px;border-bottom:1px solid #d6dcd4}.brand{color:#214c46;font-weight:750;text-decoration:none;font-size:19px;letter-spacing:-.5px}.catalog-link{color:#28594d;font-size:13px;text-decoration:none}.catalog-link:hover{text-decoration:underline}.eyebrow{font-size:10px;letter-spacing:1.8px;font-weight:700;color:#657c75}.heading{display:flex;align-items:center;justify-content:space-between;gap:16px;margin:27px 0 23px}h1{font-family:Georgia,serif;font-weight:400;font-size:44px;margin:0}.subtitle{color:#667a73;font-size:14px;margin:6px 0 0}button,select,textarea{font:inherit}button{border:1px solid #c7d2c9;background:#fffef9;border-radius:7px;padding:9px 13px;color:#294d44;cursor:pointer;font-size:13px}button:hover:not(:disabled){background:#e9efe6}button:disabled{cursor:default;opacity:.45}button.primary{color:#fff;background:#28594d}button.primary:hover:not(:disabled){background:#214c41}:focus-visible{outline:3px solid #b28432;outline-offset:3px}.editors{display:flex;flex-direction:column;gap:12px;margin:20px 0 16px}details{border:1px solid #d6dcd4;border-radius:9px;background:#fafaf6}.editors details{width:100%}summary{padding:12px 16px;cursor:pointer;font-size:13px;font-weight:650}form{padding:2px 16px 16px}label{display:block;font-size:12px;color:#55695f;margin:7px 0}select,textarea{border:1px solid #cbd5cc;background:#fffefa;border-radius:5px;padding:8px;color:#29433c}select{display:block;margin-top:5px;max-width:100%}textarea{width:100%;font:14px/1.5 ui-monospace,monospace;resize:vertical}.settings-fields{display:flex;flex-direction:column;gap:4px}.help{font-size:12px;line-height:1.5;color:#6d7d73}#error{padding:14px;background:#fce7df;color:#873922;border-radius:8px}#notice{font-size:12px;overflow-wrap:anywhere}#diagram{display:block;width:100%;height:480px;border:0;margin-top:24px;background:#fff;border-radius:10px}.owed-pitches{background:#fff0c9;color:#693b10;border:2px solid #c88a24;border-radius:8px;padding:16px}.owed-pitches strong{display:block;font-size:18px;margin-bottom:10px}.owed-pitches div{display:flex;flex-wrap:wrap;gap:7px;margin-bottom:8px}.diagram-zoom{display:flex;align-items:center;flex-wrap:wrap;gap:10px;padding:12px 0 18px}.diagram-zoom label{margin:0}.diagram-zoom input{width:clamp(80px,20vw,180px);accent-color:#28594d}.diagram-zoom output{min-width:4ch;font-size:12px;font-variant-numeric:tabular-nums}.abstraction{padding:16px 0 8px;border-top:1px solid #d6dcd4}.abstraction code{display:block;font-size:19px;margin-top:8px;overflow-wrap:anywhere}.source-example-links{display:flex;flex-wrap:wrap;gap:16px;font-size:13px}.source-example-links[hidden]{display:none}.source-example-links a{color:#28594d}.other-references{font-size:13px;line-height:1.5}.other-references details{margin:10px 0}.other-references ul{margin:0;padding:0 16px 4px 34px}.other-references li{margin:4px 0}.other-references .help{padding:0 16px 12px;margin:4px 0 0}.source-content,.root-content{padding:0 16px 16px}.root-actions{display:flex;flex-wrap:wrap;gap:8px}.root-result{font-size:13px;line-height:1.5;overflow-wrap:anywhere}.root-result h2{font-size:16px;margin:16px 0 10px}.root-result code{display:block;overflow-wrap:anywhere;white-space:pre-wrap}.root-result pre{white-space:pre-wrap;overflow-wrap:anywhere;margin:0;padding:0 16px 16px}.root-result ol{padding:0 16px 0 32px}.root-result li,#nice-solution{margin:12px 0}#nice-solution .random-help,#nice-solution [role=status]{font-size:12px;color:#6d7d73;margin:10px 16px}#nice-solution .nice-text{padding:0 16px 16px;font-size:13px;line-height:1.7;overflow-wrap:anywhere}#nice-solution .nice-text:empty{display:none}#nice-solution .nice-branches,#nice-solution .nice-expansion{margin-left:1.2em}#nice-solution .nice-continuation{border:0;background:transparent;padding:3px 0}#nice-solution .nice-continuation summary{padding:0;font-weight:500;color:#28594d}#nice-solution .nice-expansion{padding:4px 0}#nice-solution button{margin:0 16px 12px}#source-citation a{color:#28594d;font-size:13px}.source-content pre{white-space:pre;overflow:auto;max-height:420px;font:13px/1.5 ui-monospace,monospace;background:#fff;padding:12px}@media(max-width:600px){main{padding:18px 12px 35px}.eyebrow{letter-spacing:1px}.heading{align-items:flex-start}h1{font-size:36px}.heading button{max-width:145px}.settings-fields{flex-wrap:wrap;gap:0}.editors{flex-direction:column}.editors details{width:100%}}.source-example-links a.source-example-unavailable{color:#767b78;text-decoration:none;cursor:default}.pav-examples summary{cursor:pointer;color:#28594d}.pav-examples ul{margin:10px 0 0;padding-left:18px}.pav-examples li{margin:8px 0;line-height:1.5}#movie>.heading{margin-bottom:6px}#source-caption{line-height:1.6;overflow-wrap:anywhere}#source-caption a{color:#28594d}.copy-link{display:inline-flex;align-items:center;gap:7px;white-space:nowrap;padding:7px 9px}.source-example-links{align-items:baseline;gap:8px 16px;margin-top:12px}.source-example-menu{position:relative;border:0;background:transparent;border-radius:0}.source-example-menu summary{color:#28594d;padding:0;font-size:inherit;font-weight:400;text-decoration:underline}.source-example-menu ul{position:absolute;z-index:10;top:100%;left:0;margin:6px 0 0;padding:8px 12px;width:min(310px,80vw);max-height:260px;overflow:auto;list-style:none;border:1px solid #c7d2c9;border-radius:6px;background:#fffefa;box-shadow:0 4px 12px #223b3920}.source-example-menu li{padding:6px 0;line-height:1.45}#source-caption .position-title{font-size:15px;font-weight:600;color:#223b39;margin-top:8px}#source-caption .position-title a{color:inherit;text-decoration-thickness:1px;text-underline-offset:3px}#source-caption .source-meta{font-size:12px;color:#758079;margin-top:3px}#source-caption .source-meta a{color:inherit}.copy-link{padding:8px}.source-example-links{gap:8px 12px;font-size:12px}.reference-toggle{border:0;border-radius:0;background:transparent;padding:0;font:inherit;color:#28594d;text-decoration:underline}.reference-toggle:hover:not(:disabled){background:transparent}.reference-toggle:disabled{color:#767b78;opacity:1;text-decoration:none}.reference-toggle span{display:inline-block;text-decoration:none}.reference-toggle[aria-expanded=true] span{transform:rotate(180deg)}.other-references:not([hidden]){margin-top:10px;padding:12px 0 0;border:1px solid #d6dcd4;border-radius:7px;background:#fafaf6}.abstraction .notation-guide{margin-left:12px;font-size:12px;color:#657c75;text-underline-offset:3px}