Closed IanMayo closed 9 months ago
The header bar includes links to 7 pages:
When we are on one of those pages, that link should be made a little more dull. It would even be good to disable that link, if we can from CSS.
I've made progress in this:
But, I need @frank-zimmermann to neatly include this JS snippet as a ` Githubissues.
The header bar includes links to 7 pages:
When we are on one of those pages, that link should be made a little more dull. It would even be good to disable that link, if we can from CSS.
I've made progress in this:
But, I need @frank-zimmermann to neatly include this JS snippet as a ` Githubissues.