diff options
Diffstat (limited to 'doc/_static/coverage.css')
| -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 { |