diff --git a/ui/src/css/toc.css b/ui/src/css/toc.css index acf3d8eda0..f313fd07d8 100644 --- a/ui/src/css/toc.css +++ b/ui/src/css/toc.css @@ -7,7 +7,7 @@ margin-top: -2.1rem; margin-right: 0.75rem; position: sticky; - top: calc(var(--spacing) * 35); + top: var(--toc-top); } .toc .toc-menu h3 { diff --git a/ui/src/css/vars.css b/ui/src/css/vars.css index f9a6854e2b..39b7b3fdb1 100644 --- a/ui/src/css/vars.css +++ b/ui/src/css/vars.css @@ -134,8 +134,8 @@ --nav-panel-menu-height: calc(100% - var(--drawer-height)); --nav-panel-explore-height: calc(50% + var(--drawer-height)); --nav-width: calc(270 / var(--rem-base) * 1rem); - --toc-top: calc(var(--body-top) + var(--toolbar-height)); - --toc-height: calc(100vh - var(--toc-top) - 2.5rem); +--toc-top: calc(var(--spacing) * 35); /* Empirically determined position: navbar + toolbar + additional spacing (≈8.75rem vs logical 6rem) */ +--toc-height: calc(100vh - var(--toc-top) - 6.2rem); --toc-width: calc(265 / var(--rem-base) * 1rem); --toc-width--widescreen: calc(474 / var(--rem-base) * 1rem); --doc-max-width: calc(720 / var(--rem-base) * 1rem);