Table of contents extension (#76) * Add a table of contents extension that shows up to the right side, sticky and highlights the first heading showing up in the page
Table of contents extension (#76) * Add a table of contents extension that shows up to the right side, sticky and highlights the first heading showing up in the page