Function Node Documentation ToC overlaps footer #221

Adding the CSS

div#toc-column {
    position: sticky;
    top: -28px;
}

and disabling ul.fixed-toc and overflow: hidden on the parent grid class fixes it, but may have knock on effects elsewhere.