Use mkdocs theme again for now