Hide ToC contents when hidden (#209)

Co-authored-by: Panagiotis Georgakopoulos <[email protected]>
JuliaPluto · May 19, 2022 · 01ec12b · 01ec12b
1 parent 2d90408
commit 01ec12b
Showing 1 changed file with 9 additions and 1 deletion.
diff --git 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,