Add header margin change github/anoa/docs_header_margin anoa/docs_header_margin

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