Repository navigation

Info popovers - #8

Merged

mjthatch merged 6 commits into

mainfrom

Nov 12, 2026

Merged

Info popovers#8
mjthatch merged 6 commits into
mainfrom
info-popovers

Commits on Nov 12, 2026
- site snapshot: read popovers and table bodies
  
  mjthatch
  and
  claude
  committed
  e9aea31
- site: add shared number formats, popovers and glossary
  
  mjthatch
  and
  claude
  committed
  7707610
- index.html: popovers, metric names, number format
  
  mjthatch
  and
  claude
  committed
  5d34720
- stateful.html: popovers, metric names, number format
  
  mjthatch
  and
  claude
  committed
  0e060a8
- stateless.html: popovers, metric names, number format
  
  mjthatch
  and
  claude
  committed
  4113d61
- formulas.js: remove the formatters the pages no longer use
  
  mjthatch
  and
  claude
  committed
  3ae7210