Add header to the right-hand table of content

[vandan]

@eriknson commented on Fri Mar 24 2023

Current design for comparison

---

@alexandratran commented on Tue Mar 28 2023

This doesn't seem possible with Docusaurus (at least without some custom plugin): https://docusaurus.io/docs/markdown-features/toc.

---

@ziad-saab commented on Wed Mar 29 2023

it's possible. We have to create a customized component: https://docusaurus.io/docs/swizzling

---

@rekmarks commented on Wed Mar 29 2023

I don't see why we should close this issue.