Fix Table of Contents max-height

Without this fix you can never see the bottom entries after you run with binder
JuliaPluto · Feb 11, 2021 · e1e8fbb · e1e8fbb
1 parent c101e01
commit e1e8fbb
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/TableOfContents.jl b/src/TableOfContents.jl
@@ -144,7 +144,8 @@ const toc_css = """
 		border: 3px solid rgba(0, 0, 0, 0.15);
 		border-radius: 10px;
 		box-shadow: 0 0 11px 0px #00000010;
-		max-height: 500px;
+		/* That is, viewport minus top minus Live Docs */
+		max-height: calc(100vh - 5rem - 56px);
 		overflow: auto;
 		z-index: 5;
 		background: white;