gnuboot-patches
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PATCH 2/6] website: global.css: fix titles top and down margins


From: Adrien 'neox' Bourmault
Subject: [PATCH 2/6] website: global.css: fix titles top and down margins
Date: Mon, 25 Nov 2024 17:43:59 +0100

Without this fix, headings could appear to be pasted on to previous sections
(particularly if there is a table before the heading). This commit corrects
this by using simple margins.

Signed-off-by: Adrien 'neox' Bourmault <neox@gnu.org>
---
 website/pages/global.css | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/website/pages/global.css b/website/pages/global.css
index 59eb481..0a348f9 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




reply via email to

[Prev in Thread] Current Thread [Next in Thread]