.proof{margin-block:.75rem}.proof-table{width:100%;border-collapse:collapse;font-size:1.05rem}.proof-table th{text-align:start;font-weight:600;font-size:.95rem;padding:.25rem .5rem;border-bottom:1.5px solid;opacity:.8}.proof-table td{padding:.35rem .5rem;border-bottom:1px solid rgba(128,128,128,.3);vertical-align:middle}.proof-table .proof-n{width:2rem;text-align:center;opacity:.6;font-size:.9rem}.proof-claim{width:55%}.proof-given .proof-row{cursor:pointer;transition:background .2s}.proof-given .proof-row.proof-later{cursor:default}.proof-given .proof-row.proof-later{display:none}.proof-row.proof-current{background:color-mix(in srgb,#e08a00 16%,transparent)}html.dark .proof-row.proof-current{background:color-mix(in srgb,#ffb547 18%,transparent)}.proof-bar{display:flex;align-items:center;flex-wrap:wrap;gap:.6rem;margin-top:.6rem;position:sticky;bottom:var(--st-tabbar-height,0px);z-index:5;padding-block:.35rem;background:var(--nb-paper,#fff)}.proof-row{scroll-margin-top:5rem;scroll-margin-bottom:calc(var(--st-tabbar-height,0px) + 3.5rem)}.proof-btn{padding:.4rem 1rem;border-radius:.5rem;font-size:1rem;font-weight:600;line-height:1.4;cursor:pointer}.proof-btn[hidden]{display:none}.proof-next{background:var(--nb-pen-ink,#1d4fb0);color:#fff;border:1px solid transparent;box-shadow:0 1px 3px rgba(0,0,0,.2)}.proof-next:hover:not(:disabled){filter:brightness(1.12)}.proof-next:disabled{background:0 0;color:#1f7a3a;border-color:initial;box-shadow:none;cursor:default}html.dark .proof-next{color:#111}html.dark .proof-next:disabled{color:#7ad394}.proof-back{background:0 0;color:inherit;border:1px solid rgba(128,128,128,.5);font-weight:500}.proof-back:hover{border-color:initial}.proof-count{font-size:.95rem;opacity:.8}.proof-count-short{display:none}@container nb (max-width:34rem){.proof-count-short { display: inline; } }.proof-given:not(.proof-started) .proof-next{padding:.55rem 1.3rem;font-size:1.05rem}.proof-write input{width:100%;padding:.2rem .35rem;border:0;border-bottom:1px dashed rgba(128,128,128,.5);background:0 0;color:var(--nb-pen-ink,#1d4fb0);font-size:1.05rem}.nb .proof-write input{font-family:playpen sans hebrew,inherit}.proof-write input:focus{outline:none;border-bottom:1.5px solid var(--nb-pen-ink,#1d4fb0)}.proof-foot{display:flex;flex-wrap:wrap;align-items:center;gap:.5rem;margin-top:.4rem}.proof-foot[hidden]{display:none}.proof-add{padding:.2rem .6rem;border-radius:.4rem;border:1px dashed rgba(128,128,128,.6);font-size:.95rem}.proof-signs{display:flex;flex-wrap:wrap;gap:.2rem}.proof-sign{min-width:2rem;height:2rem;border-radius:.3rem;border:1px solid rgba(128,128,128,.4);font-size:1.05rem}.proof-sign:hover{border-color:initial}.nb-html:has(>.geo):has(>.proof),.geo-with-proof{display:grid;grid-template-columns:minmax(0,1.1fr)minmax(0,1fr);column-gap:1.25rem;align-items:start}.nb-html:has(>.geo):has(>.proof)>:not(.geo):not(.proof){grid-column:1/-1}.nb-html:has(>.geo):has(>.proof)>.geo,.nb-html:has(>.geo):has(>.proof)>.proof{margin-block:.25rem}@container nb (max-width:46rem){.nb-html:has(> .geo):has(> .proof) { display: block; }
}.proof-n{position:relative;white-space:nowrap}.proof-mark{display:inline-block;min-width:1rem;margin-inline-start:.2rem;font-weight:700}.proof-mark[data-state=true]::after{content:"✓";color:#1f7a3a}.proof-mark[data-state=false]::after{content:"✗";color:#c62f2f}.proof-mark[data-state=unknown]::after{content:"?";color:#8a8a8a}html.dark .proof-mark[data-state=true]::after{color:#7ad394}html.dark .proof-mark[data-state=false]::after{color:#f08080}.proof-check{padding:.2rem .7rem;border-radius:.4rem;border:1px solid;font-size:.95rem}.proof-said{margin:.35rem 0 0;font-size:.95rem;opacity:.85;min-height:1.4em}.proof-reason{position:relative}.proof-chips{display:flex;flex-wrap:wrap;gap:.2rem;margin-top:.25rem}.proof-chips[hidden]{display:none}.proof-chip{padding:.05rem .45rem;border-radius:.8rem;border:1px solid rgba(128,128,128,.5);font-size:.9rem}.proof-chip:hover{border-color:initial}.proof-given:not(.proof-started) .proof-table{display:none}@container nb (max-width:34rem){.proof-bar { gap: 0.4rem; flex-wrap: nowrap; }
  .proof-btn { padding: 0.35rem 0.7rem; font-size: 0.95rem; white-space: nowrap; }
  .proof-given:not(.proof-started) .proof-next { padding: 0.5rem 1.1rem; }
  .proof-count { font-size: 0.9rem; white-space: nowrap; }
  .proof-count-long { display: none; }
  .proof-btn { flex: 0 1 auto; min-width: 0; overflow: hidden; text-overflow: clip; }
  .proof-table, .proof-table tbody { display: block; }
  .proof-table thead { display: none; }
  .proof-table .proof-row:not(.proof-later) {
    display: grid;
    grid-template-columns: 1.75rem minmax(0, 1fr);
    border-bottom: 1px solid rgba(128, 128, 128, 0.3);
    padding-block: 0.3rem;
  }
  .proof-table td { border: 0; padding: 0.1rem 0.25rem; }
  .proof-table .proof-n { grid-row: span 2; width: auto; }
  .proof-claim { width: auto; }
  .proof-reason { font-size: 0.95em; opacity: 0.85; }
}