On gist.github.com the script was not activating because it could not detect the header. That was because the element had changed (back) from a <header> to a <div class="Header">
On both sites, Github have restyled their search box a little. It was conflicting with our grey header and smaller search box styles.
The last two commits in this PR fixes those urgent issues.
The earlier commits are just a backlog of less critical tweaks.
I hope it works for you, and I hope it will last for a while...!
Today I found:
gist.github.comthe script was not activating because it could not detect the header. That was because the element had changed (back) from a<header>to a<div class="Header">The last two commits in this PR fixes those urgent issues.
The earlier commits are just a backlog of less critical tweaks.
I hope it works for you, and I hope it will last for a while...!