Restyling of documentation.