New versions of mkdocs removed the internal themes we are using. We need to add our own theme to use them.