diff --git a/src/docs/requirements.txt b/src/docs/requirements.txt
index ae0124f8423..e3078762ed8 100644
--- a/src/docs/requirements.txt
+++ b/src/docs/requirements.txt
@@ -3,3 +3,6 @@ sphinx-rtd-theme==3.0.2
 sphinxcontrib-httpdomain==1.8.1
 sphinxcontrib-jquery==4.1
 sphinx-copybutton==0.5.2
+# Pygments 2.19.0 improperly renders .ini files
+# See https://github.com/pygments/pygments/issues/2834
+pygments>=2.18.0,!=2.19.0