diff options
author | Ned Batchelder <ned@nedbatchelder.com> | 2015-08-10 16:01:50 -0400 |
---|---|---|
committer | Ned Batchelder <ned@nedbatchelder.com> | 2015-08-10 16:01:50 -0400 |
commit | ad900f7f14b437f20f2a4886230a8013c9e62895 (patch) | |
tree | 6aae35ca01dbbd8415491557fbbfe6359066077c /doc/_static | |
parent | 1279923a1d4e6c0844656bc6aaa75a496f070536 (diff) | |
download | python-coveragepy-ad900f7f14b437f20f2a4886230a8013c9e62895.tar.gz |
Back to rtd theme, with font overrides
Diffstat (limited to 'doc/_static')
-rw-r--r-- | doc/_static/coverage.css | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/_static/coverage.css b/doc/_static/coverage.css new file mode 100644 index 0000000..d32132e --- /dev/null +++ b/doc/_static/coverage.css @@ -0,0 +1,7 @@ +body { + font-family: Georgia; +} + +h1, h2, h3, h4, h5, h6 { + font-family: Helvetica; +} |