html.set-page {
  --bg: var(--bg-page);
  --s1: var(--surface-solid);
  --s2: var(--bg-elevated);
  --s3: color-mix(in srgb, var(--surface-solid) 88%, var(--text-muted) 12%);
  --b1: var(--border);
  --b2: var(--border-strong);
  --b3: var(--violet);
  --violet2: var(--violet);
  --violet3: color-mix(in srgb, var(--violet) 78%, var(--text) 22%);
  --purple: var(--violet);
  --purple2: var(--violet);
  --purple3: var(--violet-muted);
  --pink: var(--danger);
  --pink2: var(--danger);
  --rose: var(--danger);
  --green: var(--success);
  --blue: var(--accent);
  --amber: var(--warning);
  --dim: var(--text-muted);
  --muted: var(--text-faint);
  --unique: var(--violet);
  --dupe: var(--danger);
  --glow-v: var(--shadow-sm);
}

.app{position:relative;z-index:1;max-width:1320px;margin:0 auto;padding:18px;}

/* HEADER */
.hdr{display:flex;align-items:center;gap:18px;padding:22px 26px;margin-bottom:22px;
  background:var(--glass-bg);backdrop-filter:blur(var(--glass-blur));-webkit-backdrop-filter:blur(var(--glass-blur));
  border:1px solid var(--glass-border);border-radius:18px;
  position:relative;overflow:hidden;box-shadow:var(--shadow-sm);}

.hdr-icon{width:58px;height:58px;background:var(--violet);border-radius:16px;
  display:flex;align-items:center;justify-content:center;font-size:28px;flex-shrink:0;
  box-shadow:var(--shadow-sm);color:var(--surface-solid);}
.hdr h1{font-size:clamp(20px,3vw,32px);font-weight:900;
  color:var(--violet);
  -webkit-text-fill-color:currentColor;
  font-family:var(--font-mono),monospace;}
.hdr p{color:var(--dim);font-size:13px;margin-top:4px;}
.hdr-pills{margin-right:auto;display:flex;gap:8px;flex-wrap:wrap;}
.hpill{padding:4px 12px;border-radius:50px;font-family:'Fira Code',monospace;font-size:10px;font-weight:600;}
.hpill-v{background:rgba(124,58,237,0.12);border:1px solid rgba(124,58,237,0.35);color:var(--violet3);}
.hpill-p{background:rgba(147,51,234,0.12);border:1px solid rgba(147,51,234,0.3);color:var(--purple3);}
.hpill-pk{background:rgba(236,72,153,0.12);border:1px solid rgba(236,72,153,0.3);color:var(--pink2);}

/* LAYOUT */
.layout{display:grid;grid-template-columns:1fr 380px;gap:18px;}
@media(max-width:1060px){.layout{grid-template-columns:1fr;}}

/* PANEL */
.panel{background:var(--s1);border:1px solid var(--b2);border-radius:14px;overflow:hidden;}
.ph{padding:12px 18px;border-bottom:1px solid var(--b1);display:flex;align-items:center;gap:10px;font-size:13px;font-weight:700;}
.ph .dot{width:7px;height:7px;border-radius:50%;}

.left{display:flex;flex-direction:column;gap:16px;}
.right{display:flex;flex-direction:column;gap:16px;}

/* OP GRID */
.op-grid{display:grid;grid-template-columns:repeat(auto-fill,minmax(160px,1fr));gap:8px;padding:14px 18px;}
.op-btn{padding:12px;background:var(--s2);border:1px solid var(--b1);border-radius:10px;
  cursor:pointer;transition:all 0.2s;text-align:center;position:relative;overflow:hidden;}
.op-btn::after{content:'';position:absolute;inset:0;background:transparent;transition:0.2s;}
.op-btn:hover{border-color:var(--b3);transform:translateY(-2px);}
.op-btn:hover::after{background:var(--violet-muted);}
.op-btn.active{border-color:var(--violet2);background:rgba(124,58,237,0.07);box-shadow:var(--glow-v);}
.ob-method{font-family:'Fira Code',monospace;font-size:12px;font-weight:700;color:var(--violet3);margin-bottom:3px;}
.ob-ar{font-size:11px;color:var(--dim);}
.ob-tag{display:inline-block;margin-top:5px;padding:2px 7px;border-radius:4px;font-family:'Fira Code',monospace;font-size:8px;}
.ot-mut{background:rgba(244,63,94,0.1);color:#fb7185;border:1px solid rgba(244,63,94,0.2);}
.ot-pure{background:rgba(16,185,129,0.1);color:#34d399;border:1px solid rgba(16,185,129,0.2);}

/* FORM */
.form-zone{padding:14px 18px;border-top:1px solid var(--b1);}
.fg{display:flex;flex-direction:column;gap:5px;}
.fg label{font-size:11px;color:var(--dim);font-family:'Fira Code',monospace;}
.inp{background:var(--s3);border:1px solid var(--b2);border-radius:8px;padding:9px 12px;
  color:var(--text);font-family:'Fira Code',monospace;font-size:13px;outline:none;
  transition:all 0.2s;direction:ltr;}
.inp:focus{border-color:var(--violet2);box-shadow:0 0 0 3px rgba(124,58,237,0.12);}
.run-btn{padding:10px 24px;background:var(--violet);
  border:none;border-radius:8px;color:var(--surface-solid);font-family:var(--font-sans),sans-serif;
  font-weight:700;font-size:14px;cursor:pointer;transition:all 0.2s;}
.run-btn:hover{transform:translateY(-2px);box-shadow:var(--shadow-sm);filter:brightness(1.06);}
.run-btn:active{transform:translateY(0);}

/* CODE */
.code-block{background:#060010;border:1px solid var(--b2);border-radius:10px;overflow:hidden;margin:10px 0;}
.code-hdr{display:flex;align-items:center;gap:8px;padding:9px 14px;background:var(--s2);border-bottom:1px solid var(--b1);font-family:'Fira Code',monospace;font-size:11px;color:var(--dim);}
.cdots{display:flex;gap:5px;}.cdots span{width:9px;height:9px;border-radius:50%;}
.code-
.cc{color:#2a1048;} .ck{color:#c084fc;} .cm{color:var(--violet3);} .cs{color:#4ade80;}
.cn{color:#60a5fa;} .co{color:var(--purple3);} .cf{color:#fb923c;} .cb{color:#f472b6;}

/* RESULT */
.result-box{padding:11px 14px;background:var(--s2);border:1px solid var(--b2);border-radius:8px;margin:8px 0;display:none;}
.result-box.show{display:block;}
.rb-label{font-size:10px;color:var(--dim);font-family:'Fira Code',monospace;margin-bottom:5px;}
.rb-val{font-family:'Fira Code',monospace;font-size:15px;font-weight:700;}
.rb-ok{color:var(--green);} .rb-info{color:var(--violet3);} .rb-err{color:var(--rose);} .rb-warn{color:var(--amber);}

.insight{padding:10px 14px;background:var(--violet-muted);
  border:1px solid var(--border-strong);border-radius:8px;margin:8px 0;display:none;}
.insight.show{display:block;}
.insight h4{font-size:12px;color:var(--violet3);margin-bottom:5px;}
.insight p{font-size:12px;color:var(--dim);line-height:1.7;}

.badges-row{display:flex;gap:6px;margin-top:8px;flex-wrap:wrap;}
.badge{padding:3px 10px;border-radius:50px;font-family:'Fira Code',monospace;font-size:10px;font-weight:600;}
.b-o1{background:rgba(124,58,237,0.1);color:var(--violet3);border:1px solid rgba(124,58,237,0.25);}
.b-on{background:rgba(245,158,11,0.1);color:var(--amber);border:1px solid rgba(245,158,11,0.25);}
.b-mut{background:rgba(244,63,94,0.1);color:#fb7185;border:1px solid rgba(244,63,94,0.2);}
.b-pure{background:rgba(16,185,129,0.1);color:#34d399;border:1px solid rgba(16,185,129,0.2);}
.b-uniq{background:rgba(236,72,153,0.1);color:var(--pink2);border:1px solid rgba(236,72,153,0.25);}

/* ══════════ SET VISUAL ══════════ */
.set-visual{padding:18px;}

/* Bubble grid */
.bubble-area{
  min-height:160px; display:flex; flex-wrap:wrap; gap:10px;
  align-content:flex-start; padding:16px;
  background:var(--s2); border:1px solid var(--b2); border-radius:12px;
  position:relative; margin-bottom:14px;
}
.bubble{
  display:flex; align-items:center; justify-content:center;
  width:64px; height:64px; border-radius:50%;
  font-family:'Fira Code',monospace; font-size:13px; font-weight:700;
  border:2px solid var(--violet2); background:rgba(124,58,237,0.12);
  color:var(--violet3); cursor:default;
  transition:all 0.4s cubic-bezier(0.34,1.56,0.64,1);
  position:relative; flex-shrink:0;
}
.bubble:hover{transform:scale(1.12); box-shadow:0 0 16px rgba(124,58,237,0.4);}
.bubble.entering{animation:bubblePop 0.5s cubic-bezier(0.34,1.56,0.64,1);}
.bubble.leaving {animation:bubbleFade 0.35s ease forwards;}
.bubble.highlighted{border-color:var(--pink2);color:var(--pink2);background:rgba(236,72,153,0.12);
  box-shadow:0 0 20px rgba(236,72,153,0.35);transform:scale(1.12);}
.bubble.dupe-flash{animation:dupePulse 0.6s ease;}
@keyframes bubblePop{from{transform:scale(0) rotate(-20deg);opacity:0;}to{transform:scale(1) rotate(0);opacity:1;}}
@keyframes bubbleFade{from{transform:scale(1);opacity:1;}to{transform:scale(0);opacity:0;}}
@keyframes dupePulse{0%{border-color:var(--rose);color:var(--rose);box-shadow:0 0 20px rgba(244,63,94,0.5);}
  50%{transform:scale(1.15);}100%{border-color:var(--violet2);color:var(--violet3);transform:scale(1);}}

.bubble .bub-idx{position:absolute;bottom:-18px;font-size:9px;color:var(--muted);font-family:'Fira Code',monospace;}
.bubble .bub-tip{position:absolute;bottom:calc(100% + 8px);left:50%;transform:translateX(-50%);
  background:var(--s3);border:1px solid var(--b2);padding:3px 8px;border-radius:5px;
  font-size:10px;white-space:nowrap;opacity:0;transition:0.15s;pointer-events:none;color:var(--violet3);
  font-family:'Fira Code',monospace;z-index:5;}
.bubble:hover .bub-tip{opacity:1;}
.set-empty{position:absolute;inset:0;display:flex;align-items:center;justify-content:center;
  color:var(--muted);font-family:'Fira Code',monospace;font-size:12px;}

/* Dupe indicator */
.dupe-msg{
  padding:10px 14px;background:rgba(244,63,94,0.06);
  border:1px solid rgba(244,63,94,0.2);border-radius:8px;margin-bottom:10px;
  display:none;font-family:'Fira Code',monospace;font-size:12px;color:var(--rose);
  text-align:center;
}
.dupe-msg.show{display:block;animation:msgIn 0.3s ease;}
@keyframes msgIn{from{opacity:0;transform:scale(0.95);}to{opacity:1;transform:scale(1);}}

/* Stats */
.set-stats{display:flex;gap:10px;flex-wrap:wrap;}
.sstat{flex:1;min-width:80px;padding:10px 12px;border-radius:10px;text-align:center;}
.sstat.total {background:rgba(124,58,237,0.1);border:1px solid rgba(124,58,237,0.25);}
.sstat.unique{background:rgba(16,185,129,0.1);border:1px solid rgba(16,185,129,0.25);}
.sstat.last  {background:rgba(245,158,11,0.1);border:1px solid rgba(245,158,11,0.25);}
.sstat-num{font-family:'Fira Code',monospace;font-size:22px;font-weight:700;line-height:1;}
.sstat-num.v{color:var(--violet3);} .sstat-num.g{color:var(--green);} .sstat-num.a{color:var(--amber);}
.sstat-lbl{font-size:10px;color:var(--dim);margin-top:3px;}

/* ORDER STRIP */
.order-strip{padding:10px 12px;background:var(--s2);border:1px solid var(--b1);border-radius:8px;
  font-family:'Fira Code',monospace;font-size:11px;overflow-x:auto;white-space:nowrap;
  color:var(--dim);}
.os-item{display:inline-flex;align-items:center;gap:4px;margin-left:6px;}
.os-idx{color:var(--muted);font-size:9px;}
.os-val{color:var(--violet3);font-weight:600;}
.os-arrow{color:var(--muted);}

/* HISTORY */
.hist-list{max-height:180px;overflow-y:auto;}
.hist-item{padding:8px 16px;border-bottom:1px solid var(--b1);display:flex;align-items:center;gap:10px;
  font-family:'Fira Code',monospace;font-size:11px;animation:histIn 0.25s ease;}
@keyframes histIn{from{opacity:0;transform:translateX(8px);}to{opacity:1;transform:translateX(0);}}
.hist-item:last-child{border-bottom:none;}
.hi-m{color:var(--violet3);min-width:65px;font-size:10px;} .hi-d{color:var(--dim);flex:1;font-size:10px;}
.hi-r{color:var(--amber);font-size:10px;flex-shrink:0;} .hi-t{color:var(--muted);font-size:9px;flex-shrink:0;}

/* SET OPERATIONS (union/intersection/diff) */
.set-ops-panel{padding:14px 18px;}
.sop-grid{display:grid;grid-template-columns:1fr 1fr;gap:8px;margin-bottom:10px;}
.sop-lbl{font-size:11px;color:var(--dim);font-family:'Fira Code',monospace;margin-bottom:4px;}
.sop-venn{display:flex;align-items:center;justify-content:center;padding:14px 0;gap:8px;flex-wrap:wrap;}
.venn-circle{
  width:90px;height:90px;border-radius:50%;display:flex;align-items:center;justify-content:center;
  font-family:'Fira Code',monospace;font-size:10px;font-weight:700;
  border:2px solid;flex-shrink:0;
}
.vc-a{background:rgba(124,58,237,0.15);border-color:var(--violet2);color:var(--violet3);}
.vc-b{background:rgba(236,72,153,0.15);border-color:var(--pink);color:var(--pink2);}
.sop-result{padding:8px 12px;background:var(--s3);border-radius:8px;
  font-family:'Fira Code',monospace;font-size:11px;color:var(--text);min-height:30px;}
.sop-label{font-size:10px;color:var(--violet3);margin-bottom:3px;}
.sop-run-btn{padding:7px 16px;background:rgba(124,58,237,0.15);border:1px solid var(--b3);
  border-radius:6px;color:var(--violet3);font-family:'Fira Code',monospace;font-size:11px;
  cursor:pointer;transition:all 0.18s;width:100%;margin-top:4px;}
.sop-run-btn:hover{background:rgba(124,58,237,0.25);color:var(--violet2);}

/* COMPARE TABLE */
.cmp-table{width:100%;border-collapse:collapse;font-size:11px;font-family:'Fira Code',monospace;}
.cmp-table th{padding:6px 10px;background:var(--s3);color:var(--dim);text-align:right;font-weight:600;border-bottom:1px solid var(--b1);}
.cmp-table td{padding:7px 10px;border-bottom:1px solid var(--b1);color:var(--text);vertical-align:top;}
.cmp-table tr:last-child td{border-bottom:none;}
.cmp-table td:first-child{color:var(--violet3);font-weight:600;}
.arr-col{color:var(--amber);} .set-col{color:var(--violet3);}

::-webkit-scrollbar{width:5px;height:5px;}
::-webkit-scrollbar-track{background:var(--s1);}
::-webkit-scrollbar-thumb{background:var(--b2);border-radius:3px;}
::-webkit-scrollbar-thumb:hover{background:var(--violet2);}