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

[Denis 'GNUtoo' Carikli]

On Thu, 28 Nov 2024 12:51:15 +0100
Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> wrote:
> I'm unsure what the correct English term is for that. Maybe pasted is
> right but I never heard it used like that.

What do you think of something like that:
> website: global.css: fix titles top and down margins
> 
> 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>

Denis.

pgpJfLYF2fo9O.pgp
Description: OpenPGP digital signature