New issue

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

Sign up for GitHub

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

Already on GitHub? Sign in to your account

Jump to bottom

Pages don't have custom headers #124

Closed

RCdeWit opened this issue Mar 21, 2019 · 1 comment

RCdeWit commented Mar 21, 2019

Right now the website uses the full URL as a header. Perhaps it'd be good to abbreviate this to the current page, or alternatively Sticky - [page].

emielvanrijn1 commented Mar 21, 2019 •

edited

Loading

Thanks for notifying. This is a duplicate of #120 and therefore closed. You can track progress in that issue :)!

emielvanrijn1 marked this as a duplicate of #120

emielvanrijn1 closed this as completed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment