From a8812e9e7585b2fd8f0b58f9ad8a95c956ebfa6c Mon Sep 17 00:00:00 2001
From: Markus Hauru <mhauru@turing.ac.uk>
Date: Wed, 21 Aug 2024 10:24:00 +0100
Subject: [PATCH] Increase HTML page size threshold for docs

---
 docs/make.jl | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/docs/make.jl b/docs/make.jl
index 65d43d524..ebf15df06 100644
--- a/docs/make.jl
+++ b/docs/make.jl
@@ -14,7 +14,9 @@ DocMeta.setdocmeta!(DynamicPPL, :DocTestSetup, :(using DynamicPPL); recursive=tr
 
 makedocs(;
     sitename="DynamicPPL",
-    format=Documenter.HTML(),
+    # The API index.html page is fairly large, and violates the default HTML page size
+    # threshold of 200KiB, so we double that.
+    format=Documenter.HTML(; size_threshold=2^10 * 400),
     modules=[DynamicPPL],
     pages=[
         "Home" => "index.md",