Hi Gavin,
> Le 27 avr. 2019 à 19:38, Gavin Smith <gavinsmith0...@gmail.com> 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?
