Improve and simplify the layout for datatypes, with css#830

Merged

jonludlam merged 4 commits intoocaml:masterfrom

panglesd:css-docsrc

Feb 24, 2022

Commits on Feb 23, 2022

Use lists instead of tables for types.

Drup
authored and
panglesd
committed
Avoid overriding between different set of CSS classes.

Drup
authored and
panglesd
committed
adding css for "docsrc as lists"
panglesd
committed

Commits on Feb 24, 2022

promoting tests for new list layout
panglesd
committed