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

[Andrei Alexandrescu via Digitalmars-d]

On 04/24/2016 08:28 AM, Joseph Rushton Wakeling wrote:
> 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?

Great idea - could you please work on a PR to introduce that? -- Andrei