Doc updates (#791)
Updates for better displaying the documentation in the website.
This commit is contained in:
committed by
delvedor
parent
9fa31a96c6
commit
41fa164611