diff --git a/.gitignore b/.gitignore
index d438055c61124ec8b072790d2de1b7d146e95407..34b67177834b28ebcb48f5b37b3231df683c2ecf 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,4 +1,4 @@
-_minted-*/
+_minted*/
 *.aux
 *.bbl
 *.blg
@@ -20,3 +20,4 @@ _minted-*/
 *.ind
 *.synctex.gz
 *.bak
+.vscode/
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 56f605cbabd0e395381e8a71d46a2ada022ff481..7b175f7a7815910d53c7fe8522b3f0097e38982e 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -8,6 +8,7 @@ build:
     stage: build
     before_script:
     - apk add py3-pygments
+    - cp .latexminted_config.global $HOME/.latexminted_config
     script:
     - cd spec
     - lualatex -shell-escape -recorder '\def\nocomments{}\input{doc.tex}'
diff --git a/.latexminted_config.global b/.latexminted_config.global
new file mode 100644
index 0000000000000000000000000000000000000000..ff81e8ef6f55ddd2514624b9ac6222dac60ae756
--- /dev/null
+++ b/.latexminted_config.global
@@ -0,0 +1,5 @@
+{
+    "security": {
+        "enable_cwd_config": true
+    }
+}
\ No newline at end of file
diff --git a/spec/.latexminted_config b/spec/.latexminted_config
new file mode 100644
index 0000000000000000000000000000000000000000..ae85bf3f58bc04fe87b64a0881389e8928548996
--- /dev/null
+++ b/spec/.latexminted_config
@@ -0,0 +1,5 @@
+{
+    "custom_lexers": {
+        "highlight.py": "52a12c68c13627ea0161711365490cfa6112192fcb66be974db857ecc1adc1fe"
+    }
+}
\ No newline at end of file
diff --git a/spec/doc.tex b/spec/doc.tex
index 9f59ddca81746c821c60341202e6ca2437e4317b..153397e43921d9bfe5d89099c6003607ae291ee4 100644
--- a/spec/doc.tex
+++ b/spec/doc.tex
@@ -10,9 +10,18 @@
 
 \usepackage{minted}
 \usemintedstyle{trac}
-\renewcommand{\MintedPygmentize}{./highlight.py}
-\newminted[AletheVerb]{smt-lib}{}
-\newmintinline[inlineAlethe]{smt-lib}{}
+\makeatletter
+\@ifundefined{MintedPygmentize}{
+    % minted >= 3.0.0
+    \newminted[AletheVerb]{./highlight.py:SMTLibLexer}{}
+    \newmintinline[inlineAlethe]{./highlight.py:SMTLibLexer}{}
+}{
+    % minted < 3.0.0
+    \renewcommand{\MintedPygmentize}{./highlight.py}
+    \newminted[AletheVerb]{smt-lib}{}
+    \newmintinline[inlineAlethe]{smt-lib}{}
+}
+\makeatother
 
 \usepackage{cite}
 \usepackage{url}