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

[Adrien 'neox' Bourmault]

Le mardi 26 novembre 2024 à 17:09 +0100, Denis 'GNUtoo' Carikli a écrit :
> 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.

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.

signature.asc
Description: This is a digitally signed message part