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

[Denis 'GNUtoo' Carikli]

On Tue, 26 Nov 2024 17:29:04 +0100
Adrien 'neox' Bourmault <neox@gnu.org> wrote:

> Yes, an example of that is:
> 
> https://www.gnu.org/software/gnuboot/web/status.html
> 
> You can observe that some titles are pasted on previous and following
> tables.

I didn't manage to reproduce the issue[1], however margin around titles
are a good idea.

What I wonder is if it makes sense to have the same margins on smaller
title sizes.

For instance in "GNU Boot 0.1 RC3 status, the "Stability:" title would
need margin before it, but after it seems that there is too much
margin.

Still, I think that the current patch is good enough if the issue is
well explained in the commit message: We can also improve this
further with more patches if needed.

References:
-----------
[1] It was tested on a ThinkPad X200 with 1280x800 resolution, i3, the
    i3 bar, guix system c05a78739de9ad2ca2ea97c5899d9b73fca620ea, with
    icecat. I tested with icecat taking a full desktop, and also a half
    desktop:
   +--------------------+    +--------------------+
   | i3 bar             |    | i3 bar             |
   +--------------------+    +----------+---------+
   |                    |    |          |         |
   |                    |    |          | icecat  |
   |       icecat       |    |          |         |
   |                    |    |          |         |
   |                    |    |          |         |
   +--------------------+    +----------+---------+

Denis.

pgp56bNG0st0P.pgp
Description: OpenPGP digital signature