diff options
| author | Andrew Morgan <andrewm@element.io> | 2022-03-10 18:35:08 +0000 |
|---|---|---|
| committer | Andrew Morgan <andrewm@element.io> | 2022-03-10 18:35:08 +0000 |
| commit | 3360be1829ab2e8cf2ffdf8851c5c7d205a9d7d2 (patch) | |
| tree | a656922efafc27b0cd7d495d055aecd7dd851c50 /docs/website_files/section-headers.css | |
| parent | Rename indent-section-headers -> section-headers (diff) | |
| download | synapse-3360be1829ab2e8cf2ffdf8851c5c7d205a9d7d2.tar.xz | |
Add header margin change github/anoa/docs_header_margin anoa/docs_header_margin
Diffstat (limited to 'docs/website_files/section-headers.css')
| -rw-r--r-- | docs/website_files/section-headers.css | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/docs/website_files/section-headers.css b/docs/website_files/section-headers.css index f9b3c82ca6..602d838dd9 100644 --- a/docs/website_files/section-headers.css +++ b/docs/website_files/section-headers.css @@ -4,4 +4,17 @@ */ .chapter-item { margin-left: 1em; -} \ No newline at end of file +} + +/* + * Prevents a large gap between successive section headers. + * + * mdbook sets 'margin-top: 2.5em' on h2 and h3 headers. This makes sense when separating + * a header from the paragraph beforehand, but has the downside of introducing a large + * gap between headers that are next to each other with no text in between. + * + * This rule reduces the margin in this case. + */ + h1 + h2, h2 + h3 { + margin-top: 1.0em; + } \ No newline at end of file |