Change the html theme of the documentation