2021-07-05 13:34:10 +02:00
|
|
|
/* When in mobile layout, the anchor navigation for submenus
|
|
|
|
* doesn't work due to fixed body height when menu is toggled.
|
|
|
|
* This script intercepts clicks on links, toggles the menu off
|
|
|
|
* and performs the anchor navigation. */
|
|
|
|
$(document).on("click", '.shift li.toc a', function(e) {
|
|
|
|
let segments = this.href.split('#');
|
|
|
|
if (segments.length < 2) {
|
|
|
|
/* ignore links without anchor */
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
|
|
|
e.preventDefault();
|
|
|
|
$("#toggle").click();
|
|
|
|
setTimeout(function () {
|
|
|
|
location.hash = segments.pop();
|
|
|
|
},1)
|
|
|
|
});
|
2021-07-06 07:23:39 +02:00
|
|
|
|
|
|
|
/* Clipboard-copy snippet from https://github.com/marcoaugustoandrade/jekyll-clipboardjs/blob/master/copy.js */
|
|
|
|
let codes = document.querySelectorAll('.with-copy .highlight > pre > code');
|
|
|
|
let countID = 0;
|
|
|
|
codes.forEach((code) => {
|
|
|
|
|
|
|
|
code.setAttribute("id", "code" + countID);
|
|
|
|
|
|
|
|
let btn = document.createElement('button');
|
|
|
|
btn.innerHTML = "Copy";
|
|
|
|
btn.className = "btn-copy";
|
|
|
|
btn.setAttribute("data-clipboard-action", "copy");
|
|
|
|
btn.setAttribute("data-clipboard-target", "#code" + countID);
|
|
|
|
code.before(btn);
|
|
|
|
countID++;
|
|
|
|
});
|
|
|
|
|
|
|
|
let clipboard = new ClipboardJS('.btn-copy');
|