Bump pygments from 2.19.2 to 2.20.0 in /docs

Bumps [pygments](https://github.com/pygments/pygments) from 2.19.2 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.19.2...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

@@ -3,4 +3,4 @@ markdown==3.9 ; python_version >= "3.10" and python_version < "4.0"
 mkdocs-get-deps==0.2.0 ; python_version >= "3.10" and python_version < "4.0"
 mkdocs==1.6.1 ; python_version >= "3.10" and python_version < "4.0"
 jupyterlab-pygments==0.2.2 ; python_version >= "3.10" and python_version < "4.0" and os_name != "nt"
-pygments==2.19.2 ; python_version >= "3.10" and python_version < "4.0"
+pygments==2.20.0 ; python_version >= "3.10" and python_version < "4.0"