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

Job	Run time
pre-commit / check-file-sizes	3s
pre-commit / pre-commit	1m 59s
ubuntu / clang-build (ubuntu-24.04)	2m 47s
ubuntu / gcc-build (ubuntu-24.04, Release)	2m 22s
mac / clang-build (Debug)	2m 56s
ubuntu / gcc-build (ubuntu-24.04, Debug)	1m 59s
windows / msvc-build (Debug)	2m 52s
windows / msvc-build (Release)	2m 5s
windows / clang-build	5m 6s
mac / clang-build (Release)	2m 35s
ubuntu / gcc-test (ubuntu-24.04)	8m 24s
ubuntu / clang-test (ubuntu-24.04)	8m 23s
ubuntu / clang-sanitizer-build (ubuntu-24.04)	3m 41s
windows / msvc-test	4m 57s
mac / clang-test	4m 24s
windows / clang-test	3m 0s
windows / msvc-test-extended	3m 14s
mac / clang-test-extended	3m 7s
ubuntu / clang-sanitizer-test (ubuntu-24.04)	2m 52s
ubuntu / gcc-test-extended (ubuntu-24.04)	4m 31s
ubuntu / clang-test-extended (ubuntu-24.04)	4m 36s
ubuntu / clang-sanitizer-test-extended (ubuntu-24.04)	2m 31s
windows / clang-test-extended	3m 1s
ubuntu / gcc-build-codecov	7m 19s
perf / macos-clang-build-perf-stats	2m 11s
perf / ubuntu-gcc-build-perf-stats	1m 36s
pages / build-scoreboard	13s
pages / build-doxygen-xml	22s
pages / build-sphinx	45s
pages / deploy-pages	0s
	1h 33m 51s

Provide feedback