📄 find_selflink.js
字号:
// From my own website(!)//TODO: only do this for links in the table of contents menufunction find_selflink() { var a = document.links; var i = 0; while (i < a.length) { if (a[i].href == document.URL) { var c; var j; var s_new = document.createElement("span"); s_new.className = "currentlink"; c = a[i].childNodes; for (j=0; j<c.length; j++) { s_new.appendChild(c[j]); } a[i].parentNode.replaceChild(s_new, a[i]); } else { i++; } /* if (a[i].href == document.URL) { a[i].className = "currentlink"; if (0) { var s_new = document.createElement("span"); s_new.className = "currentlink"; s_new.appendChild(a[i]); a[i].parentNode.replaceChild(s_new, a[i]); } } i++; */ }}find_selflink();
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -