A small styling of the documentation