diff --git a/docs/make.jl b/docs/make.jl index 83d3f26a3f..f49c494c47 100644 --- a/docs/make.jl +++ b/docs/make.jl @@ -8,7 +8,7 @@ makedocs(; sitename="LazySets.jl", modules=[LazySets, Approximations, LazySets.Parallel], format=Documenter.HTML(; prettyurls=get(ENV, "CI", nothing) == "true", assets=["assets/aligned.css"], - size_threshold = nothing), + size_threshold=nothing), pages=["Home" => "index.md", "Manual" => Any["Getting Started" => "man/getting_started.md", "Optional Features" => "man/optional_dependencies.md",