diff options
| author | Ned Batchelder <ned@nedbatchelder.com> | 2022-05-17 07:01:53 -0400 |
|---|---|---|
| committer | Ned Batchelder <ned@nedbatchelder.com> | 2022-05-17 07:01:53 -0400 |
| commit | 361e831059923066c666d1eb35884ddebb70ca30 (patch) | |
| tree | d4e4605dec10640ade6a1f2e47b9412fc52009ec /doc/_static | |
| parent | ad824b4585c88d0a153dd248f4585084dea33189 (diff) | |
| download | python-coveragepy-git-361e831059923066c666d1eb35884ddebb70ca30.tar.gz | |
docs: every config setting is an h3. #1380
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 index 1e2bdbff..a85fe431 100644 --- a/doc/_static/coverage.css +++ b/doc/_static/coverage.css @@ -19,6 +19,13 @@ img.tideliftlogo { margin-bottom: 12px; } +.rst-content h3, .rst-content h4, .rst-content h5, .rst-content h6 { + /* This makes config.rst look a little better, but the paras are still too + * spaced out. + */ + margin-bottom: 12px; +} + /* Tabs */ .ui.menu { |