Skip to content

Add GitHub bottons #150

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Open
rsokl opened this issue May 14, 2020 · 2 comments · May be fixed by #168
Open

Add GitHub bottons #150

rsokl opened this issue May 14, 2020 · 2 comments · May be fixed by #168

Comments

@rsokl
Copy link
Owner

rsokl commented May 14, 2020

We need more stars!!

https://buttons.github.io/

And maybe we can add an issue button to each page?

@alexander-ding
Copy link
Collaborator

alexander-ding commented May 14, 2020

Maybe a Star button on the top of the homepage?
For the issue button, maybe something wrapped in <div class="alert alert-info"></div> at the end of each page?

@rsokl
Copy link
Owner Author

rsokl commented Jan 30, 2021

@alexander-ding it looks like modifying the header/footer the RTD theme is a bit complicated. Although I was able to hijack their template to replace "View Page Source" with "Star on GitHub" (#168 )

# for free to join this conversation on GitHub. Already have an account? # to comment
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants