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

[Andrei Alexandrescu via Digitalmars-d]

Isn't it too large?

http://dlang.org/phobos/std_experimental_allocator_building_blocks_affix_allocator.html#.AffixAllocator.goodAllocSize
Looks like almost a full line in between. Should be 25% of a line or so. 
What do you all think?


Andrei