Fix some styling of the documentation