.constraint-overview[data-astro-cid-6jhfw6nd].wide{margin-left:50%}.overview-layout[data-astro-cid-6jhfw6nd]{display:grid;grid-template-columns:minmax(0,.85fr) 7rem minmax(0,1.15fr);gap:1rem;align-items:center;margin:1.6rem 0 3.5rem}.overview-layout[data-astro-cid-6jhfw6nd] h4[data-astro-cid-6jhfw6nd]{margin-bottom:.7rem}.writers[data-astro-cid-6jhfw6nd]{display:contents}.writers[data-astro-cid-6jhfw6nd] h4[data-astro-cid-6jhfw6nd]{grid-column:1;grid-row:1}.writer-sheets[data-astro-cid-6jhfw6nd]{display:grid;gap:.7rem;grid-auto-rows:1fr;grid-column:1;grid-row:2}.database[data-astro-cid-6jhfw6nd]{grid-column:3;grid-row:1 / span 2;align-self:center}.writer[data-astro-cid-6jhfw6nd]{padding:.15rem 0}.writer[data-astro-cid-6jhfw6nd] strong[data-astro-cid-6jhfw6nd],.writer[data-astro-cid-6jhfw6nd] span[data-astro-cid-6jhfw6nd]{display:block}.writer[data-astro-cid-6jhfw6nd] span[data-astro-cid-6jhfw6nd]{margin-top:.2rem;color:var(--color-text-secondary);font-size:.8rem}.write-arrow[data-astro-cid-6jhfw6nd]{position:relative;grid-column:2;grid-row:2;align-self:stretch;text-align:center;color:var(--color-text-secondary);font-size:.75rem}.write-arrow[data-astro-cid-6jhfw6nd] span[data-astro-cid-6jhfw6nd]{display:block;position:absolute;top:calc(100% + .5rem);left:0;right:0}.converging-paths[data-astro-cid-6jhfw6nd]{position:absolute;inset:0;width:100%;height:100%;color:var(--teal);overflow:visible}.converging-paths[data-astro-cid-6jhfw6nd] path[data-astro-cid-6jhfw6nd]{fill:none;stroke:currentColor;stroke-width:1.1;stroke-linecap:round;stroke-linejoin:round;vector-effect:non-scaling-stroke}.converging-paths[data-astro-cid-6jhfw6nd] .pencil-pass[data-astro-cid-6jhfw6nd]{opacity:.4;stroke-width:.6}.design-figure[data-astro-cid-6jhfw6nd] .rule[data-astro-cid-6jhfw6nd]{margin:.15rem 0 .8rem}.design-figure[data-astro-cid-6jhfw6nd] .products[data-astro-cid-6jhfw6nd]{padding:.55rem 0;margin:0;border-top:1px solid var(--color-rule-strong);border-bottom:1px solid var(--color-rule-strong)}dl[data-astro-cid-6jhfw6nd]{margin:0}dl[data-astro-cid-6jhfw6nd]>div[data-astro-cid-6jhfw6nd]{display:grid;grid-template-columns:minmax(0,1fr) minmax(0,1fr);gap:.6rem;padding:.75rem 0}dl[data-astro-cid-6jhfw6nd]>div[data-astro-cid-6jhfw6nd]+div[data-astro-cid-6jhfw6nd]{border-top:1px solid var(--color-rule)}dt[data-astro-cid-6jhfw6nd],dd[data-astro-cid-6jhfw6nd]{margin:0;font-size:.8rem}dd[data-astro-cid-6jhfw6nd] span[data-astro-cid-6jhfw6nd]{display:block;margin-top:.2rem;color:var(--color-text-secondary)}@media(max-width:650px){.overview-layout[data-astro-cid-6jhfw6nd]{grid-template-columns:minmax(0,1fr);gap:.9rem}.writers[data-astro-cid-6jhfw6nd]{display:block}.writer-sheets[data-astro-cid-6jhfw6nd],.database[data-astro-cid-6jhfw6nd],.write-arrow[data-astro-cid-6jhfw6nd]{grid-column:auto;grid-row:auto}.write-arrow[data-astro-cid-6jhfw6nd]{display:flex;align-items:center;gap:1rem;padding-left:1rem;text-align:left}.write-arrow[data-astro-cid-6jhfw6nd] .converging-paths[data-astro-cid-6jhfw6nd]{position:static;width:2.7rem;height:4rem;transform:rotate(90deg);margin:0 .7rem}.write-arrow[data-astro-cid-6jhfw6nd] span[data-astro-cid-6jhfw6nd]{position:static;margin:0}.write-arrow[data-astro-cid-6jhfw6nd] br[data-astro-cid-6jhfw6nd]{display:none}}.constraint-deletion[data-astro-cid-tpzox74k].wide{margin-left:50%}.delete-case[data-astro-cid-tpzox74k]{margin:1.7rem 0}.delete-case[data-astro-cid-tpzox74k]+.delete-case[data-astro-cid-tpzox74k]{border-top:1px solid var(--color-rule-strong);padding-top:1.4rem}.design-figure[data-astro-cid-tpzox74k] .outcome[data-astro-cid-tpzox74k]{margin:.35rem 0 1rem;color:var(--color-text-secondary);font-size:.85rem}.record-row[data-astro-cid-tpzox74k]{display:grid;grid-template-columns:minmax(0,1fr) 4.2rem minmax(0,1.15fr) 4.2rem minmax(0,1fr);gap:.55rem;align-items:center}.record[data-astro-cid-tpzox74k]{padding:.25rem 0}.design-figure[data-astro-cid-tpzox74k] .table-name[data-astro-cid-tpzox74k]{font:500 .82rem/1.4 var(--font-mono);margin:0 0 .6rem;overflow-wrap:anywhere}.identity[data-astro-cid-tpzox74k]{display:block;font:500 1.08rem/1.5 var(--font-mono)}.state[data-astro-cid-tpzox74k]{display:block;margin-top:.7rem;padding-top:.55rem;border-top:1px solid var(--color-rule);font-size:.79rem}dl[data-astro-cid-tpzox74k]{margin:.65rem 0 0;font:.74rem/1.6 var(--font-mono)}dl[data-astro-cid-tpzox74k]>div[data-astro-cid-tpzox74k]{display:flex;justify-content:space-between;gap:.6rem}dd[data-astro-cid-tpzox74k]{margin:0}.removed[data-astro-cid-tpzox74k] .identity[data-astro-cid-tpzox74k],.removed[data-astro-cid-tpzox74k] dd[data-astro-cid-tpzox74k]{text-decoration:line-through;text-decoration-color:var(--gold);text-decoration-thickness:1.5px}.connection[data-astro-cid-tpzox74k]{text-align:center;color:var(--color-text-secondary)}.connection[data-astro-cid-tpzox74k] span[data-astro-cid-tpzox74k]{display:block;font-size:.7rem;margin-top:.25rem}.reference-left[data-astro-cid-tpzox74k] svg{transform:rotate(180deg)}.cascade[data-astro-cid-tpzox74k] svg{color:var(--gold)}.cascade[data-astro-cid-tpzox74k] span[data-astro-cid-tpzox74k]{color:var(--gold);font-family:var(--font-mono)}.separation[data-astro-cid-tpzox74k] svg[data-astro-cid-tpzox74k]{width:100%;height:2.5rem}.separation[data-astro-cid-tpzox74k] path[data-astro-cid-tpzox74k]{fill:none;stroke:var(--color-text-secondary);stroke-width:1;stroke-linecap:round;opacity:.55}@media(max-width:650px){.record-row[data-astro-cid-tpzox74k]{grid-template-columns:minmax(0,1fr);gap:.5rem;max-width:21rem;margin:0 auto}.connection[data-astro-cid-tpzox74k]{display:flex;gap:.6rem;align-items:center;margin:.25rem 0 .25rem 1rem}.connection[data-astro-cid-tpzox74k] svg{width:2.5rem;height:2.5rem;transform:rotate(90deg)}.reference-left[data-astro-cid-tpzox74k] svg{transform:rotate(-90deg)}.connection[data-astro-cid-tpzox74k] span[data-astro-cid-tpzox74k]{margin:0}.separation[data-astro-cid-tpzox74k]{height:1.6rem;margin-left:1.5rem}.separation[data-astro-cid-tpzox74k] svg[data-astro-cid-tpzox74k]{width:1.5rem;height:1.6rem;transform:rotate(90deg)}.record[data-astro-cid-tpzox74k] dl[data-astro-cid-tpzox74k]{max-width:15rem}}.time-direction[data-astro-cid-wet2gepk]{display:flex;align-items:center;justify-content:space-between;flex-wrap:wrap;gap:.5rem;margin:.8rem 0;color:var(--color-text-secondary);font-size:.8125rem}.direction-label[data-astro-cid-wet2gepk]{display:flex;align-items:center;gap:.45rem}.direction-label[data-astro-cid-wet2gepk] svg{height:2.5rem;width:1.6rem}table[data-astro-cid-wet2gepk]{table-layout:fixed}.design-aid[data-astro-cid-wet2gepk] td[data-astro-cid-wet2gepk]{position:relative;padding:.8rem .5rem .9rem 1.2rem;border:0}.design-aid[data-astro-cid-wet2gepk] th[data-astro-cid-wet2gepk]{padding-left:1.2rem}td[data-astro-cid-wet2gepk] strong[data-astro-cid-wet2gepk],td[data-astro-cid-wet2gepk] span[data-astro-cid-wet2gepk]{display:block}td[data-astro-cid-wet2gepk] span[data-astro-cid-wet2gepk]{margin-top:.25rem;color:var(--color-text-secondary)}.event[data-astro-cid-wet2gepk]:before{content:"";position:absolute;left:.35rem;top:0;bottom:0;border-left:1px solid var(--color-text-secondary)}.event[data-astro-cid-wet2gepk]:after{content:"";position:absolute;left:.18rem;bottom:.1rem;width:.4rem;height:.4rem;border-right:1px solid var(--color-text-secondary);border-bottom:1px solid var(--color-text-secondary);transform:rotate(45deg)}.waiting[data-astro-cid-wet2gepk]:before{content:"";position:absolute;left:.16rem;top:0;bottom:0;width:.4rem;border-left:1px solid var(--gold);border-right:1px solid var(--gold);background:repeating-linear-gradient(135deg,transparent 0 4px,color-mix(in srgb,var(--gold) 55%,transparent) 4px 5px)}.waiting[data-astro-cid-wet2gepk] strong[data-astro-cid-wet2gepk]{color:var(--gold)}.waiting[data-astro-cid-wet2gepk] .wait-label[data-astro-cid-wet2gepk]{margin-top:1rem}.finish[data-astro-cid-wet2gepk]:after{height:0;width:.5rem;left:.1rem;border:0;border-bottom:1px solid var(--color-text-secondary);transform:none}.ended[data-astro-cid-wet2gepk]{color:var(--color-text-secondary)}.unique-final[data-astro-cid-wet2gepk]{display:flex;flex-wrap:wrap;gap:.6rem 1.4rem;align-items:baseline;border-top:1px solid var(--color-rule-strong);padding:.75rem .5rem;margin-top:.6rem;background:linear-gradient(178deg,transparent 5%,var(--paper-match) 8% 92%,transparent 95%)}@media(max-width:420px){.design-aid[data-astro-cid-wet2gepk] td[data-astro-cid-wet2gepk],.design-aid[data-astro-cid-wet2gepk] th[data-astro-cid-wet2gepk]{padding-right:.25rem;padding-left:.9rem}}