[PATCH v1 17/22] website: global.css: fix titles top and down margins

[Denis 'GNUtoo' Carikli]

From: Adrien 'neox' Bourmault <neox@gnu.org>

Without this fix, if there is a table and a heading right after it,
the heading will be stuck to the bottom of the table.

This is for instance visible in "GNU Boot 0.1 RC3 status" in
website/site/software/gnuboot/web/status.html where the "Stability:"
h2 is stuck to the bottom of the GNU Boot 0.1 RC3 status table.

This commit corrects this by using simple margins.

Signed-off-by: Adrien 'neox' Bourmault <neox@gnu.org>
GNUtoo: improved commit message.
Acked-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
---
 website/pages/global.css | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/website/pages/global.css b/website/pages/global.css
index 59eb4816..0a348f90 100644
--- a/website/pages/global.css
+++ b/website/pages/global.css
@@ -1,5 +1,6 @@
 /*
  * Copyright (C) 2021 Leah Rowe <leah@libreboot.org>
+ * Copyright (C) 2024 Adrien ‘neox’ Bourmault <neox@gnu.org>
  *
  * Permission is granted to copy, distribute and/or modify this document
  * under the terms of the GNU Free Documentation License, Version 1.3
@@ -33,6 +34,10 @@ code,pre,#TOC,a:hover{background:#eee}
        font-family:sans-serif;
        line-height:1.4
 }
+h1,h2,h3,h4 {
+       margin-top:1.2em;
+       margin-bottom:0.6em;
+}
 a{color:#22d}
 .title>*, header ul>li, .nav ul>li,
 #footer ul>li, .h:hover>*
-- 
2.46.0