diff --git a/BookGenMain.lean b/BookGenMain.lean
index 8917b39..9844e41 100644
--- a/BookGenMain.lean
+++ b/BookGenMain.lean
@@ -84,6 +84,6 @@ def config : RenderConfig where
   emitTeX := false
   emitHtmlSingle := .no
   emitHtmlMulti := .immediately
-  htmlDepth := 2
+  htmlDepth := 1
 
 def main := manualMain (%doc IrisTutorialBook) (extraSteps := [buildExercises]) (config := config)