Re: [help-texinfo] @group => <pre>...</pre>?

[Akim Demaille]

Hi Gavin,

> Le 27 avr. 2019 à 19:38, Gavin Smith <address@hidden> a écrit :
> 
> Another idea is to specify "pre.example {margin: 0em}", but I doubt that 
> is a very good idea.

Based on my experiments, it seems that the default style should be

div.example > pre.example {margin: 0 0 0 0}
div.example > pre.example:first-of-type {margin: .4em 0 0 0}
div.example > pre.example:last-of-type {margin: 0 0 .4em 0}

instead of adding top and bottom margins to each the pre.example.

And the style used on gnu.org should add

div.example > pre.example {padding: 0 0 0 0}
div.example > pre.example:last-of-type {pading: 0 0 .4em}

instead of adding padding after each pre.example.

WDYT?