You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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?
@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 )
Activity
alexander-ding commentedon 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 commentedon 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 )