diff --git a/lectures/_config.yml b/lectures/_config.yml
index 8493f847..010064aa 100644
--- a/lectures/_config.yml
+++ b/lectures/_config.yml
@@ -128,6 +128,8 @@ sphinx:
           "gG": "\\mathcal{G}"
           "hH": "\\mathcal{H}"
     mathjax_path: https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js
+    # sphinx-proof
+    proof_minimal_theme: true
     # sphinx-exercise
     exercise_style: "solution_follow_exercise"
     rediraffe_redirects: