Contiuned porting documentView.css. Almost done, there is one too general rule left
Merge branch 'devel' of github.com:triAGENS/ArangoDB into devel