/* Coverage table page — matches the OreAlgebraLean / PrimeGaps-style look */
:root { --accent:#2340a0; --accent-dark:#1a3180; --ink:#21242c; --muted:#555b66; --rule:#d9dce3; }
body { margin:0 auto; max-width:52rem; padding:2rem 1.5rem 4rem; background:#fff;
  font-family:"Source Sans 3","Source Sans Pro","Segoe UI",system-ui,sans-serif;
  color:var(--ink); line-height:1.6; }
h1,h2,h3 { font-family:"Source Serif 4",Georgia,"Times New Roman",serif; }
h1 { font-size:2rem; border-bottom:2px solid var(--accent); padding-bottom:.3rem; }
h2 { font-size:1.4rem; color:var(--accent-dark); margin-top:2rem; }
a { color:var(--accent); text-decoration:none; }
a:hover { text-decoration:underline; }
table { border-collapse:collapse; width:100%; font-size:.95rem; }
th,td { text-align:left; padding:.5rem .7rem; border-bottom:1px solid var(--rule); vertical-align:top; }
th { font-weight:600; color:var(--accent-dark); }
code { background:#f2f3f7; border-radius:4px; padding:.1rem .35rem; font-size:.9em; }
pre { background:#f7f8fc; border:1px solid var(--rule); border-radius:8px; padding:1rem; overflow:auto; }
pre code { background:none; padding:0; }
blockquote { border-left:3px solid var(--accent); margin:1rem 0; padding:.2rem 1rem; color:var(--muted); }