update documentation CSS (#10543)

* update documentation CSS
* update the expected htmls
This commit is contained in:
Miran 2019-02-04 12:27:02 +01:00 • committed by Andreas Rumpf
commit 8cb80238c4
4 changed files with 965 additions and 2745 deletions

File diff suppressed because it is too large Load diff