Hi Gavin,
> Le 27 avr. 2019 à 19:38, Gavin Smith 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 >
Hi all,
> Le 27 avr. 2019 à 09:52, Akim Demaille a écrit :
>
> Hi Patrice!
>
>> Le 26 avr. 2019 à 23:38, Patrice Dumas a écrit :
>>
>> For text within a paragraph, it is better to use inline conditionals,
>> like @inlineraw{html, \text\}, so the whole
>> could be something like
>>
>> @macro
Hi Gavin,
> Le 27 avr. 2019 à 19:38, Gavin Smith a écrit :
>
> On Sat, Apr 27, 2019 at 10:12:56AM +0200, Akim Demaille wrote:
>> In HTML, I would have expected @group...@end group to be ignored, but
>> actually the result is:
>>
>>>
>>> $ bison -Wmidrule-value mid.y
>>> mid.y:2.6-13: >>