/* products.css: the Products page's tools list, added 2026-10-17.
   Its own file because figures.css is cached for a day at the edge (_headers), and a rule
   added there reaches returning visitors late. Load it after figures.css.
   .instruments li (figures.css) would otherwise style the nested bullets as rows too. */
.tools .points li{display:block; padding:0 0 0 1.3rem; border-top:0}
.tools .points{gap:.3rem; margin-top:0}
.tools .rung{margin-top:.1rem; font-size:.95rem}