[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [help-texinfo] @group => <pre>...</pre>?
From: |
Akim Demaille |
Subject: |
Re: [help-texinfo] @group => <pre>...</pre>? |
Date: |
Mon, 29 Apr 2019 06:44:14 +0200 |
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?