Bump sphinx-rtd-theme from 3.0.2 to 3.1.0 #4511

Job	Run time
pre-commit / check-file-sizes	6s
pre-commit / pre-commit	1m 54s
windows / msvc-build (Release)	2m 0s
ubuntu / gcc-build (ubuntu-24.04, Release)	2m 36s
windows / msvc-build (Debug)	3m 51s
windows / clang-build	2m 11s
ubuntu / clang-build (ubuntu-24.04)	2m 48s
mac / clang-build (Debug)	2m 46s
ubuntu / gcc-build (ubuntu-24.04, Debug)	2m 0s
mac / clang-build (Release)	2m 45s
windows / clang-test	2m 53s
ubuntu / gcc-test (ubuntu-24.04)	8m 25s
mac / clang-test	5m 49s
ubuntu / clang-sanitizer-build (ubuntu-24.04)	3m 18s
ubuntu / clang-test (ubuntu-24.04)	8m 24s
windows / msvc-test	4m 36s
windows / clang-test-extended	2m 55s
ubuntu / clang-sanitizer-test (ubuntu-24.04)	2m 52s
mac / clang-test-extended	2m 38s
windows / msvc-test-extended	2m 54s
ubuntu / gcc-test-extended (ubuntu-24.04)	4m 31s
ubuntu / clang-test-extended (ubuntu-24.04)	4m 31s
ubuntu / clang-sanitizer-test-extended (ubuntu-24.04)	2m 30s
ubuntu / gcc-build-codecov	7m 42s
perf / macos-clang-build-perf-stats	2m 41s
perf / ubuntu-gcc-build-perf-stats	1m 33s
pages / build-scoreboard	17s
pages / build-doxygen-xml	23s
pages / build-sphinx	42s
pages / deploy-pages	0s
	1h 32m 31s

Provide feedback