summary refs log tree commit diff
diff options
context:
space:
mode:
authorAndrew Morgan <andrewm@element.io>2022-03-10 18:35:08 +0000
committerAndrew Morgan <andrewm@element.io>2022-03-10 18:35:08 +0000
commit3360be1829ab2e8cf2ffdf8851c5c7d205a9d7d2 (patch)
treea656922efafc27b0cd7d495d055aecd7dd851c50
parentRename indent-section-headers -> section-headers (diff)
downloadsynapse-anoa/docs_header_margin.tar.xz
-rw-r--r--docs/website_files/section-headers.css15
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