.growth-demo{display:grid;gap:1rem;margin:2rem 0;padding:1.25rem;border:1px solid rgba(255,255,255,.1);border-radius:1.25rem;background:radial-gradient(circle at 15% 0%,rgba(120,150,255,.12),transparent 22rem),#09090b94;backdrop-filter:blur(12px)}.growth-demo-header{display:grid;grid-template-columns:minmax(0,1fr) auto;gap:1rem;align-items:start}.growth-demo-header h2{margin:.15rem 0 .45rem;font-size:clamp(1.35rem,4vw,2rem);letter-spacing:-.035em}.growth-demo-header p{max-width:52rem;margin:0;color:#ffffffb8;line-height:1.75}.growth-demo-number{display:grid;gap:.2rem;min-width:7rem;padding:.8rem .95rem;border:1px solid rgba(255,255,255,.1);border-radius:1rem;background:#ffffff0b;text-align:right}.growth-demo-number span{color:#ffffff85;font-size:.75rem;font-weight:700;text-transform:uppercase;letter-spacing:.08em}.growth-demo-number strong{color:#fff;font-size:1.35rem}.growth-slider-label{color:#ffffff9e;font-size:.82rem;font-weight:800;letter-spacing:.06em;text-transform:uppercase}.growth-slider{width:100%;height:1.6rem;appearance:none;-webkit-appearance:none;background:transparent;cursor:pointer}.growth-slider::-webkit-slider-runnable-track{height:.55rem;border-radius:999px;background:#ffffff24;border:1px solid rgba(255,255,255,.08)}.growth-slider::-webkit-slider-thumb{appearance:none;-webkit-appearance:none;width:1.15rem;height:1.15rem;margin-top:calc((.55rem - 1.15rem) / 2);border-radius:999px;border:2px solid rgba(255,255,255,.95);background:#141418f5;box-shadow:0 0 0 .35rem #ffffff14,0 .45rem 1rem #00000059}.growth-slider::-moz-range-track{height:.55rem;border-radius:999px;background:#ffffff24;border:1px solid rgba(255,255,255,.08)}.growth-slider::-moz-range-thumb{width:1.15rem;height:1.15rem;border-radius:999px;border:2px solid rgba(255,255,255,.95);background:#141418f5;box-shadow:0 0 0 .35rem #ffffff14,0 .45rem 1rem #00000059}.growth-slider:focus-visible{outline:none}.growth-slider:focus-visible::-webkit-slider-thumb{box-shadow:0 0 0 .35rem #ffffff29,0 0 0 .55rem #7896ff2e,0 .45rem 1rem #00000059}.growth-slider:focus-visible::-moz-range-thumb{box-shadow:0 0 0 .35rem #ffffff29,0 0 0 .55rem #7896ff2e,0 .45rem 1rem #00000059}.growth-scale{display:flex;justify-content:space-between;margin-top:-.6rem;color:#ffffff6b;font-size:.78rem}.growth-table{display:grid;gap:.5rem}.growth-row{display:grid;grid-template-columns:minmax(9rem,1.15fr) minmax(7rem,.9fr) minmax(8rem,.9fr) minmax(8rem,1.2fr);gap:.75rem;align-items:center;padding:.75rem;border:1px solid rgba(255,255,255,.075);border-radius:.95rem;background:#ffffff09}.growth-row-head{padding:0 .75rem;border:0;background:transparent;color:#ffffff7a;font-size:.75rem;font-weight:800;letter-spacing:.06em;text-transform:uppercase}.growth-kind,.growth-formula{display:grid;gap:.15rem}.growth-kind strong{color:#fff}.growth-kind small,.growth-formula small{color:#ffffff80;line-height:1.45}.growth-formula code{width:fit-content;border:1px solid rgba(255,255,255,.09);border-radius:999px;padding:.25rem .5rem;background:#00000038;color:#ffffffdb;font-size:.86rem}.growth-runtime{color:#ffffffc7;font-weight:750}.growth-bar-track{height:.7rem;overflow:hidden;border-radius:999px;background:#ffffff13}.growth-bar{height:100%;min-width:.4rem;border-radius:inherit;background:linear-gradient(90deg,#d2dcff9e,#ffffffeb);box-shadow:0 0 1rem #ffffff24}.growth-bar-danger{background:linear-gradient(90deg,#ffd2b4ad,#ffffffeb)}.growth-demo-note{margin:0;color:#ffffff8c;font-size:.9rem;line-height:1.65}@media(max-width:820px){.growth-demo-header{grid-template-columns:1fr}.growth-demo-number{width:fit-content;text-align:left}.growth-row,.growth-row-head{grid-template-columns:1fr}.growth-row-head{display:none}.growth-bar-cell{min-width:100%}}.sat-clique-demo{display:grid;gap:1rem;width:100%;max-width:100%;margin:2rem 0;padding:1.25rem;border:1px solid rgba(255,255,255,.1);border-radius:1.25rem;background:radial-gradient(circle at 18% 0%,rgba(120,150,255,.13),transparent 22rem),radial-gradient(circle at 85% 20%,rgba(255,140,180,.08),transparent 20rem),#09090b94;backdrop-filter:blur(12px)}.sat-clique-top{display:grid;grid-template-columns:minmax(0,1fr) auto;gap:1rem;align-items:start}.sat-clique-top h2{margin:.15rem 0 .45rem;font-size:clamp(1.35rem,4vw,2rem);letter-spacing:-.035em}.sat-clique-top p{max-width:58rem;margin:0;color:#ffffffb8;line-height:1.75}.sat-clique-result{display:grid;gap:.2rem;min-width:9.5rem;padding:.8rem .95rem;border:1px solid rgba(255,255,255,.1);border-radius:1rem;background:#ffffff0b;text-align:right}.sat-clique-result span{color:#ffffff85;font-size:.72rem;font-weight:800;letter-spacing:.08em;text-transform:uppercase}.sat-clique-result strong{color:#fff;font-size:1rem;text-transform:uppercase}.sat-clique-result.is-yes{border-color:#aaffbe33;background:#64ffa012}.sat-clique-result.is-no{border-color:#ffa0a038;background:#ff646412}.sat-clique-examples{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:.75rem}.sat-clique-examples button{display:grid;gap:.25rem;padding:.85rem .95rem;border:1px solid rgba(255,255,255,.09);border-radius:1rem;background:#ffffff09;color:#ffffffb8;font:inherit;text-align:left;cursor:pointer;transition:border-color .16s ease,background .16s ease,transform .16s ease}.sat-clique-examples button:hover,.sat-clique-examples button.is-active{border-color:#ffffff3d;background:#ffffff12}.sat-clique-examples button:hover{transform:translateY(-1px)}.sat-clique-examples strong{color:#fff;font-size:.9rem}.sat-clique-examples span{color:#ffffff8a;font-size:.82rem;line-height:1.45}.sat-clique-formula-strip{display:grid;gap:.25rem;padding:.85rem 1rem;border:1px solid rgba(255,255,255,.085);border-radius:1rem;background:#0000002e}.sat-clique-formula-strip span{color:#ffffff75;font-size:.72rem;font-weight:800;letter-spacing:.08em;text-transform:uppercase}.sat-clique-formula-strip strong{color:#ffffffdb;line-height:1.5}.sat-clique-layout{display:grid;grid-template-columns:minmax(0,1fr) 20rem;gap:1rem;align-items:start}.sat-clique-panel,.sat-clique-graph-panel{border:1px solid rgba(255,255,255,.09);border-radius:1.1rem;background:#ffffff09}.sat-clique-panel{display:grid;gap:1rem;align-content:start;padding:1rem}.sat-clique-panel-heading{display:grid;gap:.2rem}.sat-clique-panel-heading h3,.sat-clique-graph-header h3{margin:0;color:#fff;font-size:1rem}.sat-clique-panel-heading p,.sat-clique-graph-header p{margin:0;color:#ffffff8f;font-size:.88rem;line-height:1.55}.sat-clique-button-row{display:flex;flex-wrap:wrap;gap:.5rem}.sat-clique-button-row button{padding:.45rem .7rem;border:1px solid rgba(255,255,255,.12);border-radius:999px;background:#ffffff0b;color:#ffffffd1;font:inherit;font-size:.82rem;cursor:pointer}.sat-clique-button-row button:hover{border-color:#ffffff47;color:#fff;background:#ffffff13}.sat-clique-button-row button:disabled{cursor:not-allowed;opacity:.42}.sat-clique-status-card,.sat-clique-proof-card{display:grid;gap:.35rem;padding:.8rem;border:1px solid rgba(255,255,255,.08);border-radius:.9rem;background:#0000002e}.sat-clique-status-card span,.sat-clique-proof-card span{color:#ffffff75;font-size:.7rem;font-weight:800;letter-spacing:.08em;text-transform:uppercase}.sat-clique-status-card strong{color:#ffffffe0;line-height:1.45}.sat-clique-proof-card p{margin:0;color:#ffffffad;font-size:.88rem;line-height:1.6}.sat-clique-proof-card p strong{color:#fff}.sat-clique-status-card.is-good,.sat-clique-proof-card.is-good{border-color:#aaffbe33;background:#64ffa00f}.sat-clique-proof-card.is-bad{border-color:#ffa0a033;background:#ff64640f}.sat-clique-graph-panel{overflow:hidden}.sat-clique-graph-header{display:flex;align-items:start;justify-content:space-between;gap:1rem;padding:1rem 1rem 0}.sat-clique-stats{display:flex;flex-wrap:wrap;justify-content:end;gap:.45rem}.sat-clique-stats span{display:inline-flex;align-items:center;min-height:1.7rem;padding:.35rem .55rem;border:1px solid rgba(255,255,255,.1);border-radius:999px;color:#ffffff9e;font-size:.75rem;font-weight:800}.sat-clique-svg{display:block;width:100%;min-height:34rem;background:radial-gradient(circle at 50% 20%,rgba(80,90,130,.18),transparent 20rem),#030c2252}.sat-clique-clause-band rect{fill:#ffffff06;stroke:#ffffff0f}.sat-clique-clause-band text{fill:#ffffff9e;font-size:.9rem;font-weight:850;paint-order:stroke;stroke:#00000080;stroke-width:3px;stroke-linejoin:round}.sat-clique-edge{stroke:#d2dcff38;stroke-width:2;stroke-linecap:round}.sat-clique-edge.is-selected{stroke:#ffffffeb;stroke-width:4;filter:drop-shadow(0 0 .45rem rgba(255,255,255,.25))}.sat-clique-vertex{cursor:pointer}.sat-clique-vertex circle{fill:#3c4a76fa;stroke:#ffffff6b;stroke-width:2.4;transition:fill .14s ease,stroke .14s ease,opacity .14s ease}.sat-clique-vertex text{fill:#fff;font-size:1rem;font-weight:850;text-anchor:middle;pointer-events:none;user-select:none;paint-order:stroke;stroke:#0009;stroke-width:3px;stroke-linejoin:round}.sat-clique-vertex:hover circle{stroke:#fff}.sat-clique-vertex.is-selected circle{fill:#6474aafa;stroke:#fff;stroke-width:4;filter:url(#sat-clique-glow)}.sat-clique-vertex.is-dimmed{opacity:.32}.sat-clique-verifier-list{display:grid;gap:.45rem}.sat-clique-verifier-list div{display:flex;gap:.5rem;align-items:start;color:#ffffff94;font-size:.88rem;line-height:1.45}.sat-clique-verifier-list div span{color:#ffffff6b;font-weight:900}.sat-clique-verifier-list div.is-good{color:#dcffe2e0}.sat-clique-verifier-list div.is-good span{color:#aaffbee6}.sat-clique-warning{margin:0;padding:.75rem;border:1px solid rgba(255,180,180,.16);border-radius:.85rem;background:#ff78780f;color:#ffdcdcc7;font-size:.86rem;line-height:1.55}@media(max-width:1050px){.sat-clique-layout{grid-template-columns:1fr}.sat-clique-svg{min-height:34rem}}@media(max-width:760px){.sat-clique-demo{width:min(100vw - 1rem,88rem);padding:1rem}.sat-clique-top{grid-template-columns:1fr}.sat-clique-result{width:fit-content;text-align:left}.sat-clique-examples{grid-template-columns:1fr}.sat-clique-graph-header{display:grid}.sat-clique-stats{justify-content:start}.sat-clique-svg{min-height:28rem}}