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 | 04437bb3e63d39b11cbae5b6cefd549daa76a944 (patch) | |
| tree | 8b82054d9eb89162b0c5ea1580fc984d69fcff5f /doc/_static | |
| parent | b20497d2a8c11a6210e6925f9cad6d97ff7f713b (diff) | |
| download | python-coveragepy-git-04437bb3e63d39b11cbae5b6cefd549daa76a944.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 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; +} |