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

[Andrei Alexandrescu via Digitalmars-d]

On 04/23/2016 04:06 PM, ag0aep6g wrote:
> On 23.04.2016 21:53, Andrei Alexandrescu wrote:
>> Should we use a single <br>? -- Andrei
>
> That would look better in the case you linked, but it would be a step
> back with longer signatures. E.g.
> http://dlang.org/phobos/std_algorithm_searching.html#.endsWith

Good point. How about a controlled 1.25 lines spacing? -- Andrei