diff --git a/utils/docs/build_pdf.py b/utils/docs/build_pdf.py
index efc732f..e4ba81a 100755
--- a/utils/docs/build_pdf.py
+++ b/utils/docs/build_pdf.py
@@ -39,6 +39,7 @@ print(f"Output: {output_file}")
 
 # Build the pandoc options as a string
 pandoc_cmd = [
+    "--verbose",
     "--toc",
     "--number-sections",
     "--include-in-header", "utils/docs/main.tex",
@@ -47,8 +48,8 @@ pandoc_cmd = [
     # "-V", "geometry:a4paper",
     # "-V", "geometry:margin=1.8cm",
     "-V", "mainfont=DejaVu Serif",
-    "-V", "monofont=SauceCodePro Nerd Font",
-    "--pdf-engine=pdflatex",
+    "-V", "monofont=Noto Sans Mono",
+    "--pdf-engine=xelatex",
     "--resource-path=utils/docs",
     "--filter=./utils/docs/filter-nobg.hs",
 ]
diff --git a/utils/docs/main.tex b/utils/docs/main.tex
index d0802c6..1da5681 100644
--- a/utils/docs/main.tex
+++ b/utils/docs/main.tex
@@ -2,6 +2,8 @@
 
 % Set the document language to English
 \usepackage[english]{babel}
+% \usepackage[utf8]{inputenc}
+% \DeclareUnicodeCharacter{21D2}{$\Rightarrow$}
 
 % Adjust page geometry
 \usepackage[
@@ -25,6 +27,6 @@
 \input{utils/docs/hyperref_setup.tex}
 
 % Font settings using fontspec
-% \usepackage{fontspec}
+\usepackage{fontspec}
 % \setmainfont{DejaVu Serif} % Set your main font
 % \setmonofont{SauceCodePro Nerd Font} % Set your monospace (code) font