diff options
Diffstat (limited to '')
| -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 |