Closed ghtmtt closed 1 year ago
@3nids I don't have any idea why the workflow is failing. Is it related to the PR?
@ghtmtt that's because it's on a fork, it cannot push the gh-pages. How do you feel about merging? Or do you want to run it here to have a demo first?
I've compiled it locally and it works fine. So +1 for the merge
While it could be annoying to scroll to the top manually in the sidebar, this PR adds the scrollbar to the sidebar: