Bump pygments from 2.15.0 to 2.20.0 in /docs

Bumps [pygments](https://github.com/pygments/pygments) from 2.15.0 to 2.20.0.
- [Release notes](https://github.com/pygments/pygments/releases)
- [Changelog](https://github.com/pygments/pygments/blob/master/CHANGES)
- [Commits](pygments/pygments@2.15.0...2.20.0)

---
updated-dependencies:
- dependency-name: pygments
  dependency-version: 2.20.0
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>

Author: dependabot[bot]

docs/requirements.txt

@@ -1,4 +1,4 @@
 mkdocs==1.2.4
-Pygments==2.15.0
+Pygments==2.20.0
 Markdown==3.8.1
 jinja2==3.1.6