Fix css of layout for datatypes#847

jonludlam merged 1 commit intoocaml:masterocaml/odoc:masterfrom

panglesd:fix-variant-comment-csspanglesd/odoc:fix-variant-comment-cssCopy head branch name to clipboard