.checker[data-astro-cid-zrx6fdnn]{position:relative}.top[data-astro-cid-zrx6fdnn]{justify-content:space-between;align-items:baseline;gap:1rem;margin-bottom:.5rem;display:flex}.top-links[data-astro-cid-zrx6fdnn]{gap:1rem;display:inline-flex}.sample[data-astro-cid-zrx6fdnn][hidden]{display:none}.label[data-astro-cid-zrx6fdnn]{font-weight:600;font-size:var(--step--1)}textarea[data-astro-cid-zrx6fdnn]{resize:vertical;width:100%;min-height:13rem;font:400 .9rem/1.65 var(--font-mono);color:var(--ink);background:var(--paper);border:1px solid var(--rule);border-radius:var(--radius-sm);background-image:linear-gradient(transparent calc(1.65em - 1px), var(--rule) calc(1.65em - 1px), var(--rule) 1.65em, transparent 1.65em);background-position:0 .85rem;background-size:100% 1.65em;background-attachment:local;padding:.85rem 1rem;display:block}textarea[data-astro-cid-zrx6fdnn]::placeholder{color:var(--ink-muted);opacity:1}textarea[data-astro-cid-zrx6fdnn]:focus-visible{outline:2px solid var(--primary);outline-offset:1px}.hint[data-astro-cid-zrx6fdnn]{border-left:3px solid var(--primary);background:var(--paper-sunk);border-radius:0 var(--radius-sm) var(--radius-sm) 0;font-size:var(--step--1);margin:.6rem 0 0;padding:.55rem .75rem}.hint[data-astro-cid-zrx6fdnn][hidden]{display:none}.meta[data-astro-cid-zrx6fdnn]{font-size:var(--step--1);color:var(--ink-muted);justify-content:space-between;gap:1rem;margin-top:.5rem;display:flex}.meta[data-astro-cid-zrx6fdnn] p[data-astro-cid-zrx6fdnn]{margin:0}.count[data-astro-cid-zrx6fdnn]{font-variant-numeric:tabular-nums;white-space:nowrap}.count[data-astro-cid-zrx6fdnn].over{color:var(--mismatch-text);font-weight:600}.challenge[data-astro-cid-zrx6fdnn]:empty{display:none}.challenge[data-astro-cid-zrx6fdnn]{margin-top:.75rem}.actions[data-astro-cid-zrx6fdnn]{flex-wrap:wrap;align-items:center;gap:.75rem 1.25rem;margin-top:1rem;display:flex}.style-pick[data-astro-cid-zrx6fdnn]{font-size:var(--step--1);color:var(--ink-muted);align-items:center;gap:.5rem;display:inline-flex}select[data-astro-cid-zrx6fdnn]{font:500 var(--step--1) var(--font-sans);color:var(--ink);background:var(--paper);border:1px solid var(--rule);border-radius:var(--radius-sm);padding:.45rem .6rem}.sample[data-astro-cid-zrx6fdnn]{font:500 var(--step--1) var(--font-sans);color:var(--primary);text-underline-offset:.2em;cursor:pointer;background:0 0;border:0;margin-block:-.35rem;padding:.6rem 0;text-decoration:underline}.status[data-astro-cid-zrx6fdnn]:empty{display:none}.status[data-astro-cid-zrx6fdnn]{font-size:var(--step--1);color:var(--ink-muted);margin:1rem 0 0}@media (width<=34rem){.actions[data-astro-cid-zrx6fdnn] .btn[data-astro-cid-zrx6fdnn]{width:100%}}.builder[data-astro-cid-ooqnxzy3]{grid-template-columns:minmax(0,1fr);gap:1.4rem;display:grid}.label[data-astro-cid-ooqnxzy3]{font-weight:600;font-size:var(--step-0);margin-bottom:.6rem;display:block}.find-row[data-astro-cid-ooqnxzy3]{gap:.5rem;display:flex}.find-row[data-astro-cid-ooqnxzy3] input[data-astro-cid-ooqnxzy3]{width:0;min-width:0;font:400 .95rem var(--font-sans);color:var(--ink);background:var(--paper);border:1px solid var(--rule);border-radius:var(--radius-sm);flex:1 1 0;padding:.7rem .85rem}.find-row[data-astro-cid-ooqnxzy3] input[data-astro-cid-ooqnxzy3]:focus-visible{outline:2px solid var(--primary);outline-offset:1px}.find-btn[data-astro-cid-ooqnxzy3]{font-size:var(--step--1);padding:.7rem 1rem}.find-status[data-astro-cid-ooqnxzy3]{font-size:var(--step--1);color:var(--ink-muted);margin:.45rem 0 0}.find-status[data-astro-cid-ooqnxzy3]:empty{display:none}.find-status[data-astro-cid-ooqnxzy3][data-busy]:before{content:"";vertical-align:-.05em;border:2px solid var(--rule);border-top-color:var(--primary);border-radius:50%;width:.8em;height:.8em;margin-right:.5em;animation:.7s linear infinite find-spin;display:inline-block}@keyframes find-spin{to{transform:rotate(360deg)}}@media (prefers-reduced-motion:reduce){.find-status[data-astro-cid-ooqnxzy3][data-busy]:before{animation:none}}.results[data-astro-cid-ooqnxzy3]{border-top:1px solid var(--rule);margin:.6rem 0 0;padding:0;list-style:none}.results[data-astro-cid-ooqnxzy3] li{border-bottom:1px solid var(--rule)}.results[data-astro-cid-ooqnxzy3] button{text-align:left;cursor:pointer;width:100%;color:var(--ink);font:inherit;background:0 0;border:0;gap:.1rem;padding:.65rem .25rem;display:grid}.results[data-astro-cid-ooqnxzy3] button:hover,.results[data-astro-cid-ooqnxzy3] button:focus-visible{background:var(--paper-sunk)}.results[data-astro-cid-ooqnxzy3] .r-title{font-family:var(--font-serif);font-size:1.02rem;line-height:1.35}.results[data-astro-cid-ooqnxzy3] .r-meta{color:var(--ink-muted);font-size:.8rem}.types[data-astro-cid-ooqnxzy3]{border:0;min-width:0;margin:0;padding:0}.types[data-astro-cid-ooqnxzy3] legend[data-astro-cid-ooqnxzy3]{float:left;width:100%;padding:0}.types[data-astro-cid-ooqnxzy3] legend[data-astro-cid-ooqnxzy3]+.type-group[data-astro-cid-ooqnxzy3]{clear:both}.type-group[data-astro-cid-ooqnxzy3]{gap:.35rem;display:grid}.type-group[data-astro-cid-ooqnxzy3]+.type-group[data-astro-cid-ooqnxzy3]{margin-top:.7rem}.group-label[data-astro-cid-ooqnxzy3]{font-size:var(--step--1);color:var(--ink);font-weight:700}.type-group[data-astro-cid-ooqnxzy3] .seg[data-astro-cid-ooqnxzy3]{gap:.4rem}.seg[data-astro-cid-ooqnxzy3]{flex-wrap:wrap;gap:.35rem;display:flex}.seg-opt[data-astro-cid-ooqnxzy3] input[data-astro-cid-ooqnxzy3]{opacity:0;pointer-events:none;width:1px;height:1px;position:absolute}.seg-opt[data-astro-cid-ooqnxzy3] span[data-astro-cid-ooqnxzy3]{border:1px solid var(--rule);font-size:var(--step--1);color:var(--ink-muted);cursor:pointer;border-radius:999px;padding:.5rem .8rem;font-weight:500;display:inline-block}.seg-opt[data-astro-cid-ooqnxzy3] input[data-astro-cid-ooqnxzy3]:checked+span[data-astro-cid-ooqnxzy3]{background:var(--ink);border-color:var(--ink);color:var(--paper)}.seg-opt[data-astro-cid-ooqnxzy3] input[data-astro-cid-ooqnxzy3]:focus-visible+span[data-astro-cid-ooqnxzy3]{outline:2px solid var(--primary);outline-offset:2px}.card-fields[data-astro-cid-ooqnxzy3]{grid-template-columns:repeat(6,minmax(0,1fr));align-items:start;gap:.9rem 1rem;display:grid}.card-fields[data-astro-cid-ooqnxzy3] .field{grid-column:span 6;grid-template-rows:auto auto auto;align-content:start;gap:.25rem;min-width:0;display:grid}.card-fields[data-astro-cid-ooqnxzy3] .field.half{grid-column:span 3}.card-fields[data-astro-cid-ooqnxzy3] .field.third{grid-column:span 2}.card-fields[data-astro-cid-ooqnxzy3] label,.card-fields[data-astro-cid-ooqnxzy3] .f-label{color:var(--ink);font-size:.8rem;font-weight:600}.card-fields[data-astro-cid-ooqnxzy3] .opt{color:var(--ink-muted);font-weight:400}.card-fields[data-astro-cid-ooqnxzy3] input,.card-fields[data-astro-cid-ooqnxzy3] select{width:100%;font:400 .95rem var(--font-sans);color:var(--ink);border:0;border-bottom:1px solid var(--rule);background:0 0;border-radius:0;padding:.4rem .1rem}.card-fields[data-astro-cid-ooqnxzy3] select:focus-visible{border-bottom:2px solid var(--primary);outline:none}.card-fields[data-astro-cid-ooqnxzy3] input:focus-visible{border-bottom:2px solid var(--primary);outline:none;padding-bottom:calc(.4rem - 1px)}.card-fields[data-astro-cid-ooqnxzy3] .needed input{border-bottom-color:var(--mismatch)}.card-fields[data-astro-cid-ooqnxzy3] .hint{color:var(--ink-muted);font-size:.75rem}.card-fields[data-astro-cid-ooqnxzy3] .people{gap:.5rem;display:grid}.card-fields[data-astro-cid-ooqnxzy3] .person{grid-template-columns:minmax(0,1fr) minmax(0,1fr) auto;align-items:end;gap:.75rem;display:grid}.card-fields[data-astro-cid-ooqnxzy3] .person.org{grid-template-columns:minmax(0,1fr) auto}.card-fields[data-astro-cid-ooqnxzy3] .person.solo{grid-template-columns:minmax(0,1fr) minmax(0,1fr)}.card-fields[data-astro-cid-ooqnxzy3] .person.org.solo{grid-template-columns:minmax(0,1fr)}.card-fields[data-astro-cid-ooqnxzy3] .pf{gap:.2rem;min-width:0;display:grid}.card-fields[data-astro-cid-ooqnxzy3] .pf-label{color:var(--ink-muted);font-size:.78rem}.card-fields[data-astro-cid-ooqnxzy3] .person .remove{align-self:end}.card-fields[data-astro-cid-ooqnxzy3] .person-tools{font-size:var(--step--1);flex-wrap:wrap;gap:.35rem 1.25rem;margin-top:.15rem;display:flex}.card-fields[data-astro-cid-ooqnxzy3] .remove{color:var(--ink-muted);cursor:pointer;background:0 0;border:0;padding:.4rem;font-size:1.2rem;line-height:1}.card-fields[data-astro-cid-ooqnxzy3] .remove:hover{color:var(--retracted-text)}.card-fields[data-astro-cid-ooqnxzy3] .more{grid-column:span 6}.card-fields[data-astro-cid-ooqnxzy3] .more summary{cursor:pointer;font-size:var(--step--1);color:var(--primary);width:fit-content;padding-block:.3rem}.card-fields[data-astro-cid-ooqnxzy3] .more[open] summary{margin-bottom:.75rem}.card-fields[data-astro-cid-ooqnxzy3] .more-grid{grid-template-columns:repeat(6,minmax(0,1fr));align-items:start;gap:.9rem 1rem;display:grid}@media (width<=34rem){.card-fields[data-astro-cid-ooqnxzy3] .field.half,.card-fields[data-astro-cid-ooqnxzy3] .field.third{grid-column:span 3}.card-fields[data-astro-cid-ooqnxzy3] .person{grid-template-columns:1fr 1fr auto}.card-fields[data-astro-cid-ooqnxzy3] .person.solo{grid-template-columns:1fr 1fr}}.proof[data-astro-cid-ooqnxzy3]{border-top:2px solid var(--ink);padding-top:1rem}.proof-head[data-astro-cid-ooqnxzy3]{justify-content:space-between;align-items:center;gap:1rem;margin-bottom:.6rem;display:flex}.proof-head[data-astro-cid-ooqnxzy3] h2[data-astro-cid-ooqnxzy3]{font-size:var(--step-1);font-variation-settings:normal;margin:0;font-weight:600}.proof-head[data-astro-cid-ooqnxzy3] select[data-astro-cid-ooqnxzy3]{font:500 var(--step--1) var(--font-sans);color:var(--ink);background:var(--paper);border:1px solid var(--rule);border-radius:var(--radius-sm);padding:.45rem .6rem}.proof-cite[data-astro-cid-ooqnxzy3]{text-indent:-1.5em;font-family:var(--font-serif);overflow-wrap:anywhere;min-height:3.2em;margin:0;padding-left:1.5em;font-size:1.08rem;line-height:1.6}.proof-empty[data-astro-cid-ooqnxzy3]{color:var(--ink-muted);font-style:italic}.proof-title[data-astro-cid-ooqnxzy3]{align-items:baseline;gap:.75rem;min-width:0;display:flex}.proof-busy[data-astro-cid-ooqnxzy3]{font-size:var(--step--1);color:var(--ink-muted);opacity:0;visibility:hidden;align-items:center;gap:.45rem;transition:opacity .15s;display:inline-flex}.proof-busy[data-astro-cid-ooqnxzy3] i[data-astro-cid-ooqnxzy3]{border:2px solid var(--rule);border-top-color:var(--primary);border-radius:50%;width:.8rem;height:.8rem;display:inline-block}.builder[data-astro-cid-ooqnxzy3][data-busy] .proof-busy[data-astro-cid-ooqnxzy3]{visibility:visible;opacity:1;transition-delay:.12s}.builder[data-astro-cid-ooqnxzy3][data-busy] .proof-busy[data-astro-cid-ooqnxzy3] i[data-astro-cid-ooqnxzy3]{animation:.7s linear infinite proof-spin}.builder[data-astro-cid-ooqnxzy3][data-busy] .proof-cite[data-astro-cid-ooqnxzy3]{color:#0000;background:linear-gradient(100deg, var(--ink-muted) 40%, var(--ink) 50%, var(--ink-muted) 60%) 200% 0 / 250% 100%;opacity:.75;-webkit-background-clip:text;background-clip:text;animation:1.2s linear infinite proof-shimmer}.builder[data-astro-cid-ooqnxzy3][data-busy] .proof-cite[data-astro-cid-ooqnxzy3] i{-webkit-text-fill-color:transparent}@keyframes proof-spin{to{transform:rotate(360deg)}}@keyframes proof-shimmer{to{background-position:-50% 0}}@media (prefers-reduced-motion:reduce){.builder[data-astro-cid-ooqnxzy3][data-busy] .proof-busy[data-astro-cid-ooqnxzy3] i[data-astro-cid-ooqnxzy3]{border-top-color:var(--primary);animation:none}.builder[data-astro-cid-ooqnxzy3][data-busy] .proof-cite[data-astro-cid-ooqnxzy3]{color:var(--ink-muted);opacity:.6;background:0 0;animation:none}}.proof-intext[data-astro-cid-ooqnxzy3]{font-size:var(--step--1);color:var(--ink-muted);margin:.5rem 0 0}.proof-intext[data-astro-cid-ooqnxzy3] b{color:var(--ink);font-weight:500}.proof-need[data-astro-cid-ooqnxzy3]{font-size:var(--step--1);color:var(--mismatch-text);margin:.6rem 0 0}.proof-case[data-astro-cid-ooqnxzy3]{font-size:var(--step--1);color:var(--ink-muted);margin:.6rem 0 0}.proof-case[data-astro-cid-ooqnxzy3] button{color:var(--primary);font:600 var(--step--1) var(--font-sans);cursor:pointer;background:0 0;border:0;padding:0;text-decoration:underline}.proof-actions[data-astro-cid-ooqnxzy3]{flex-wrap:wrap;align-items:center;gap:.6rem 1rem;margin-top:1rem;display:flex}.proof-actions[data-astro-cid-ooqnxzy3] .btn[data-astro-cid-ooqnxzy3]{font-size:var(--step--1);padding:.7rem 1.1rem}.proof-actions[data-astro-cid-ooqnxzy3] .btn[data-astro-cid-ooqnxzy3].flashed{animation:.35s ease-out proof-pop}@keyframes proof-pop{40%{transform:scale(1.04)}}@media (prefers-reduced-motion:reduce){.proof-actions[data-astro-cid-ooqnxzy3] .btn[data-astro-cid-ooqnxzy3].flashed{animation:none}}.proof-actions[data-astro-cid-ooqnxzy3] .btn[data-astro-cid-ooqnxzy3]:disabled{opacity:.45;cursor:not-allowed}.xlink[data-astro-cid-ooqnxzy3]{font-size:var(--step--1);color:var(--ink-muted);margin:.9rem 0 0}.xlink[data-astro-cid-ooqnxzy3][hidden]{display:none}.proof-actions[data-astro-cid-ooqnxzy3] .linkbtn[data-astro-cid-ooqnxzy3]:disabled{opacity:.45;cursor:not-allowed;text-decoration:none}@media (width<=34rem){.proof-actions[data-astro-cid-ooqnxzy3] .btn[data-astro-cid-ooqnxzy3]{flex:auto}}.tool-card[data-astro-cid-rr62mfgb]{background:var(--paper-raised);border:1px solid var(--rule);box-shadow:5px 5px 0 -1px var(--paper-raised), 5px 5px 0 0 var(--rule), 10px 10px 0 -1px var(--paper-raised), 10px 10px 0 0 var(--rule), 0 24px 40px -28px #1c223059;border-radius:6px;margin-right:10px;position:relative}.tabs[data-astro-cid-rr62mfgb]{border-bottom:1px solid var(--rule);gap:1.5rem;padding-inline:clamp(1rem,.6rem + 1.5vw,1.5rem);display:flex}.tabs[data-astro-cid-rr62mfgb] button[data-astro-cid-rr62mfgb]{font:600 var(--step--1) var(--font-sans);color:var(--ink-muted);cursor:pointer;background:0 0;border:0;border-bottom:2px solid #0000;margin-bottom:-1px;padding:.95rem 0 .8rem}.tabs[data-astro-cid-rr62mfgb] button[data-astro-cid-rr62mfgb][aria-selected=true]{color:var(--ink);border-bottom-color:var(--ink)}.tabs[data-astro-cid-rr62mfgb] button[data-astro-cid-rr62mfgb]:hover{color:var(--ink)}.panel[data-astro-cid-rr62mfgb]{padding:clamp(1rem,.6rem + 1.5vw,1.5rem)}.mylist[data-astro-cid-vwbvzyaw]{padding-block:0 3.5rem}.ml-head[data-astro-cid-vwbvzyaw]{border-bottom:2px solid var(--ink);flex-wrap:wrap;justify-content:space-between;align-items:flex-end;gap:1rem 2rem;padding-bottom:.9rem;display:flex}.ml-head[data-astro-cid-vwbvzyaw] h2[data-astro-cid-vwbvzyaw]{margin:0}.ml-sub[data-astro-cid-vwbvzyaw]{font-size:var(--step--1);color:var(--ink-muted);margin:.25rem 0 0}.ml-tools[data-astro-cid-vwbvzyaw]{flex-wrap:wrap;align-items:center;gap:.5rem;display:flex}.ml-tools[data-astro-cid-vwbvzyaw] .btn[data-astro-cid-vwbvzyaw]{font-size:var(--step--1);padding:.55rem .9rem}.ml-items[data-astro-cid-vwbvzyaw]{margin:0;padding:0;list-style:none}.ml-items[data-astro-cid-vwbvzyaw] li{border-bottom:1px solid var(--rule);justify-content:space-between;align-items:baseline;gap:1.5rem;padding:.9rem 0;display:flex}.ml-items[data-astro-cid-vwbvzyaw] .ml-cite{text-indent:-1.5em;font-family:var(--font-serif);overflow-wrap:anywhere;margin:0;padding-left:1.5em;font-size:1.05rem;line-height:1.55}.ml-items[data-astro-cid-vwbvzyaw] .ml-actions{flex:none;gap:1rem;display:flex}.ml-items[data-astro-cid-vwbvzyaw] .linkbtn{white-space:nowrap}.ml-busy[data-astro-cid-vwbvzyaw]{opacity:0;visibility:hidden;align-items:center;gap:.4rem;margin-left:.6rem;transition:opacity .15s;display:inline-flex}.ml-busy[data-astro-cid-vwbvzyaw] i[data-astro-cid-vwbvzyaw]{border:2px solid var(--rule);border-top-color:var(--primary);border-radius:50%;width:.75rem;height:.75rem;display:inline-block}.mylist[data-astro-cid-vwbvzyaw][data-loading] .ml-busy[data-astro-cid-vwbvzyaw]{visibility:visible;opacity:1;transition-delay:.12s}.mylist[data-astro-cid-vwbvzyaw][data-loading] .ml-busy[data-astro-cid-vwbvzyaw] i[data-astro-cid-vwbvzyaw]{animation:.7s linear infinite ml-spin}.mylist[data-astro-cid-vwbvzyaw][data-loading] .ml-items[data-astro-cid-vwbvzyaw] li:not(.skeleton) .ml-cite{color:#0000;background:linear-gradient(100deg, var(--ink-muted) 40%, var(--ink) 50%, var(--ink-muted) 60%) 200% 0 / 250% 100%;opacity:.75;-webkit-background-clip:text;background-clip:text;animation:1.2s linear infinite ml-shimmer}.mylist[data-astro-cid-vwbvzyaw][data-loading] .ml-items[data-astro-cid-vwbvzyaw] li:not(.skeleton) .linkbtn{opacity:.5}@keyframes ml-spin{to{transform:rotate(360deg)}}.ml-items[data-astro-cid-vwbvzyaw] li.skeleton{grid-template-columns:minmax(0,1fr);gap:.5rem;display:grid}.ml-items[data-astro-cid-vwbvzyaw] .sk-line{background:linear-gradient(100deg, var(--rule) 40%, var(--paper) 50%, var(--rule) 60%) 200% 0 / 250% 100%;border-radius:4px;width:100%;height:.95rem;animation:1.1s linear infinite ml-shimmer;display:block}.ml-items[data-astro-cid-vwbvzyaw] .sk-line.short{width:55%}.ml-items[data-astro-cid-vwbvzyaw] li.just-added{animation:.45s ease-out ml-in,2s ease-out ml-glow}@keyframes ml-shimmer{to{background-position:-50% 0}}@keyframes ml-in{0%{opacity:0;transform:translateY(.6rem)}to{opacity:1;transform:none}}@keyframes ml-glow{0%{background:color-mix(in srgb, var(--primary) 14%, transparent)}to{background:0 0}}@media (prefers-reduced-motion:reduce){.ml-items[data-astro-cid-vwbvzyaw] .sk-line,.mylist[data-astro-cid-vwbvzyaw][data-loading] .ml-busy[data-astro-cid-vwbvzyaw] i[data-astro-cid-vwbvzyaw]{animation:none}.mylist[data-astro-cid-vwbvzyaw][data-loading] .ml-items[data-astro-cid-vwbvzyaw] li:not(.skeleton) .ml-cite{color:var(--ink-muted);background:0 0;animation:none}.ml-items[data-astro-cid-vwbvzyaw] li.just-added{animation:2s ease-out ml-glow}}@media (width<=34rem){.ml-items[data-astro-cid-vwbvzyaw] li{flex-direction:column;gap:.25rem}}