From 4a5cf4ac151728ae3e04a56967d2d58804bdee2f Mon Sep 17 00:00:00 2001
From: BennyDB <74614235+BennyDeBock@users.noreply.github.com>
Date: Fri, 6 May 2022 15:26:06 +0200
Subject: [PATCH] Allow the usage of pygments for generation of the docs (#654)

---
 4.0/mkdocs.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/4.0/mkdocs.yml b/4.0/mkdocs.yml
index 555bf87b..91a37c1c 100644
--- a/4.0/mkdocs.yml
+++ b/4.0/mkdocs.yml
@@ -51,7 +51,7 @@ extra:
 markdown_extensions:
   - admonition
   - pymdownx.highlight:
-      use_pygments: false
+      use_pygments: true
   - pymdownx.inlinehilite
   - pymdownx.snippets
   - pymdownx.superfences