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