style: improve header anchor styling

Jacky Zhao

2022-07-14 dff5ae0d4debfdb2de226984e86a987d99d039ad

 assets/js/clipboard.js

@@ -33,6 +33,5 @@
        // find chroma inside els[i]
        let chroma = els[i].getElementsByClassName("chroma")[0];
        els[i].insertBefore(button, chroma);
        console.log(els[i].lastChild)
    }
}