From 01ec12b7913587c5194ab8f6ef52ff1defd70016 Mon Sep 17 00:00:00 2001
From: Alberto Mengali <disberd@gmail.com>
Date: Thu, 19 May 2022 12:22:29 +0200
Subject: [PATCH] Hide ToC contents when hidden (#209)

Co-authored-by: Panagiotis Georgakopoulos <panagiotis.georgakopoulos@juliacomputing.com>
---
 src/TableOfContents.jl | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/src/TableOfContents.jl b/src/TableOfContents.jl
index 95012037..9619360e 100644
--- a/src/TableOfContents.jl
+++ b/src/TableOfContents.jl
@@ -1,5 +1,5 @@
 ### A Pluto.jl notebook ###
-# v0.19.0
+# v0.19.3
 
 using Markdown
 using InteractiveUtils
@@ -198,6 +198,14 @@ const toc_css = """
 .plutoui-toc.aside.hide {
 	transform: translateX(calc(100% - 28px));
 }
+.plutoui-toc.aside.hide section {
+	display: none;
+}
+.plutoui-toc.aside.hide header {
+	margin-bottom: 0em;
+	padding-bottom: 0em;
+	border-bottom: none;
+}
 }  /* End of Media print query */
 .plutoui-toc.aside.hide .open-toc,
 .plutoui-toc.aside:not(.hide) .closed-toc,