Line spacing for '///ditto' on the website

[Joseph Rushton Wakeling via Digitalmars-d]

On Saturday, 23 April 2016 at 19:53:38 UTC, Andrei Alexandrescu 
wrote:
> On 04/23/2016 03:50 PM, ag0aep6g wrote:
>> On 23.04.2016 21:43, Andrei Alexandrescu wrote:
>>> http://dlang.org/phobos/std_experimental_allocator_building_blocks_affix_allocator.html#.AffixAllocator.goodAllocSize
>>>
>>> Looks like almost a full line in between.
>>
>> It is a full line (<br><br>).
>
> Should we use a single <br>? -- Andrei

The use of hardcoded <br> tags in ddoc output is a bit odd -- 
surely it would be better to encode the list of symbols as 
entries in an unnumbered list, and use CSS to style its layout as 
wished?