Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
I personally dislike it a lot when I come to the documentation of a source code, but there is no easy/quick link to the repo, which means I have to google to find the repo ;-) Adding the `"github_url" to the "html_theme_options" should add a GitHub-link-button on the top-right corner, next to the switch for light/dark theme.
- Loading branch information