From 5023b73834b512ca33aa88a2585765304bbd518d Mon Sep 17 00:00:00 2001 From: Emile Trotignon Date: Mon, 10 Jun 2024 16:21:11 +0200 Subject: [PATCH 1/2] Remove margin of first child of odoc-content --- src/html_support_files/odoc.css | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/src/html_support_files/odoc.css b/src/html_support_files/odoc.css index 93dc1efd2c..d3201b42bd 100644 --- a/src/html_support_files/odoc.css +++ b/src/html_support_files/odoc.css @@ -300,7 +300,6 @@ body.odoc { display: grid; grid-template-columns: min-content 1fr; column-gap: 4ex; - row-gap: 2ex; } body.odoc-src { @@ -312,6 +311,10 @@ body.odoc-src { grid-column: 2; } +.odoc-content > *:first-child { + margin-top: 0; +} + .odoc-preamble > *:first-child { /* This make the first thing in the preamble align with the sidebar */ padding-top: 0; @@ -334,6 +337,7 @@ nav { nav.odoc-nav { grid-column: 2; grid-row: 2; + margin-bottom: 2ex; } /* Basic markup elements */ From fbd8bf9403ff0918ef47dce4a3d30861de07418e Mon Sep 17 00:00:00 2001 From: Emile Trotignon Date: Mon, 10 Jun 2024 16:27:55 +0200 Subject: [PATCH 2/2] update changes --- CHANGES.md | 1 + 1 file changed, 1 insertion(+) diff --git a/CHANGES.md b/CHANGES.md index baab008aba..288ea5155a 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -12,6 +12,7 @@ select a result, and enter to follow the selected link. (@EmileTrotignon, #1088) - OCaml 5.2.0 compatibility (@Octachron, #1094, #1112) - New driver package (@jonludlam, #1121) +- Fix a big gap between the preamble and the content of a page (@EmileTrotignon, #1147) ### Changed