.pf-mono{font-family:ui-monospace,SFMono-Regular,Consolas,monospace}.pf-chips{flex-wrap:wrap;gap:6px;display:flex}.pf-chip{min-height:40px;color:var(--ink);background:var(--paper-2);border:2px solid var(--line-soft);cursor:pointer;border-radius:999px;padding:4px 12px;font-size:13px;font-weight:600}.pf-chip:hover{border-color:var(--line)}.pf-ladder{font-variant-numeric:tabular-nums;grid-template-columns:auto auto;font-size:15px;display:inline-grid}.pf-ladder>div{padding:3px 12px}.pf-ladder .pf-lp{text-align:right;color:var(--accent);border-right:2px solid var(--line);font-weight:700}.pf-ladder .pf-ln{border-bottom:2px solid var(--line)}.pf-ladder .pf-ln.last{border-bottom:0}.pf-ladder .pf-lp.last{border-right:0}.pf-tree-wrap{padding-bottom:4px;overflow-x:auto}.pf-tree line{stroke:var(--muted-2);stroke-width:1.5px}.pf-tree .comp rect{fill:var(--paper-2);stroke:var(--line);stroke-width:2px}.pf-tree .prime rect{fill:var(--green-soft);stroke:#15803d;stroke-width:2px}.pf-tree text{fill:var(--ink);font:600 13px ui-monospace,SFMono-Regular,Consolas,monospace}.pf-divs{flex-wrap:wrap;gap:6px;display:flex}.pf-div{font-variant-numeric:tabular-nums;background:var(--stone-soft);border-radius:6px;padding:2px 8px;font-size:13px}.pf-div.is-prime{background:var(--green-soft);font-weight:700}