markdeep.html 605 B

123456789101112131415161718
  1. <script>
  2. if(location.href.endsWith('/')){
  3. window.onload=function (){
  4. let as=document.getElementsByTagName('a');for(let i=as.length-1;i>=0;i--){let h=as[i].href;if(h.startsWith('file:')&&h.endsWith('.md'))as[i].onclick=function(){location.href=this.href+'.search';}}
  5. }
  6. }else{
  7. function loadJS(u){
  8. let d=document;
  9. let e=d.createElement('script');e.src=u;
  10. d.head.appendChild(e);
  11. }
  12. if(location.href.endsWith('.md.search')){
  13. window.markdeepOptions = {onload};
  14. loadJS("https://casual-effects.com/markdeep/latest/markdeep.min.js?");
  15. }
  16. }
  17. </script>