From e81163814ff87f3ce9691a67e810bdc1a2a89de0 Mon Sep 17 00:00:00 2001 From: Michael Wentz <31914755+mwentzWW@users.noreply.github.com> Date: Sat, 6 Aug 2022 19:31:03 -0500 Subject: [PATCH] update theme used from sphinx_rtd_them to furo --- docs/README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/README.md b/docs/README.md index 2122eefc4b4a..0d574c9213a5 100644 --- a/docs/README.md +++ b/docs/README.md @@ -6,7 +6,7 @@ What's this? This directory contains the source code for Mypy documentation (under `source/`) and build scripts. The documentation uses Sphinx and reStructuredText. We use -`sphinx-rtd-theme` as the documentation theme. +`furo` as the documentation theme. Building the documentation --------------------------