Re: 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