docs: tired of georgia/helvetica. default rtd looks better

nedbat · nedbat · commit 8b21e44265f9 · 2025-07-27T13:05:08.000-04:00
diff --git a/doc/_static/coverage.css b/doc/_static/coverage.css
@@ -1,11 +1,3 @@
-body {
-    font-family: Georgia;
-}
-
-h1, h2, h3, h4, h5, h6 {
-    font-family: Helvetica;
-}
-
 a:hover {
     text-decoration: underline;
 }
