fix layout of documentation.html