From 04437bb3e63d39b11cbae5b6cefd549daa76a944 Mon Sep 17 00:00:00 2001
From: Ned Batchelder <ned@nedbatchelder.com>
Date: Mon, 10 Aug 2015 16:01:50 -0400
Subject: Back to rtd theme, with font overrides

---
 doc/_static/coverage.css | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 doc/_static/coverage.css

(limited to 'doc/_static/coverage.css')

diff --git a/doc/_static/coverage.css b/doc/_static/coverage.css
new file mode 100644
index 00000000..d32132ef
--- /dev/null
+++ b/doc/_static/coverage.css
@@ -0,0 +1,7 @@
+body {
+    font-family: Georgia;
+}
+
+h1, h2, h3, h4, h5, h6 {
+    font-family: Helvetica;
+}
-- 
cgit v1.2.1