gnuboot-patches
[Top][All Lists]
Advanced

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

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


From: Denis 'GNUtoo' Carikli
Subject: Re: [PATCH 2/6] website: global.css: fix titles top and down margins
Date: Tue, 26 Nov 2024 17:09:05 +0100

On Mon, 25 Nov 2024 17:43:59 +0100
Adrien 'neox' Bourmault <neox@gnu.org> wrote:

> 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.
Is there some example for that somewhere?

Denis.

Attachment: pgpcyfPoY1NLQ.pgp
Description: OpenPGP digital signature


reply via email to

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