Doc updates (#791)

Updates for better displaying the documentation in the website.
This commit is contained in:
Tomas Della Vedova
2019-03-27 07:44:19 +01:00
committed by delvedor
parent 081cac4813
commit 3d85d85e2d
23 changed files with 2799 additions and 159 deletions

File diff suppressed because it is too large Load Diff