diff --git a/scripts/generate.py b/scripts/generate.py index ef08ee1..9f98e7b 100644 --- a/scripts/generate.py +++ b/scripts/generate.py @@ -772,8 +772,10 @@ def render(headline, doc, graph, headlineLevel): def as_document(html, title, global_toc): + body_classes = [] if global_toc is None: toc_section = "" + body_classes.append('no-toc') else: toc_section = f"""
@@ -793,7 +795,7 @@ def as_document(html, title, global_toc): - +