Sum-types docs are glued to long sum types

[MisterDA]

Using odoc.2.1.0 (and Firefox), when the constructor name and its type are long, it gets glued to the documentation. That's bad for readability.
I also think that the inter-line spacing between constructors is too wide.

EDIT: ah, this is addressed by #830, right?

[panglesd]

EDIT: ah, this is addressed by #830, right?

Yes, exactly!

[dbuenzli]

#830 having been merged this should be solved.