From 46d70c1578bbf21ddb40bdcacc978d909c14135d Mon Sep 17 00:00:00 2001
From: Dennis den Ouden-van der Horst <d.denouden-vanderhorst@tudelft.nl>
Date: Sun, 4 Jan 2026 17:56:08 +0100
Subject: [PATCH] Remove unused Sphinx config options

Cleaned up book/_config.yml by removing unused or unnecessary Sphinx configuration options related to sphinx_gated_directives and sphinx_codex. This helps simplify the configuration file.
---
 book/_config.yml | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/book/_config.yml b/book/_config.yml
index 9a6affb..82c2340 100644
--- a/book/_config.yml
+++ b/book/_config.yml
@@ -19,8 +19,6 @@ sphinx:
   - sphinx_apa_references
   - sphinx_gated_directives
   config:
-    sphinx_gated_directives:
-      override_existing: ['exercise']
     language: en
     html_js_files:
     - https://cdnjs.cloudflare.com/ajax/libs/require.js/2.3.4/require.min.js
@@ -55,8 +53,6 @@ sphinx:
         summaries: false
         individual: false
     nb_execution_includepatterns: "**/MANUAL.ipynb"
-    sphinx_codex_name: "Voorbeeld"
-    sphinx_codex_merge_with_proof:     true # default value
 
 teachbooks:
   attribution_location: margin