add markdeep styling for bookmarks

This commit is contained in:
James Feng Cao 2023-02-17 21:11:35 +08:00
parent 1ed0b0c7ca
commit cd12841352
9 changed files with 34 additions and 43 deletions

View file

@ -1,3 +1,15 @@
<script>window.markdeepOptions = {onload};</script>
<script src=https://casual-effects.com/markdeep/latest/markdeep.min.js? charset=utf-8></script>
<script>
if(location.href.endsWith('/')){
window.onload=function (){
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].href=h+'.search';}
}
}else{
function loadJS(u){
let d=document;
let e=d.createElement('script');e.src=u;
d.head.appendChild(e);
}
window.markdeepOptions = {onload};
loadJS("https://casual-effects.com/markdeep/latest/markdeep.min.js?");
}
</script>

View file

@ -1,8 +1,3 @@
<html>
<head>
<meta charset="utf-8" />
</head>
<body>
<script src="https://remarkjs.com/downloads/remark-latest.min.js">
</script>
<script type="text/javascript">
@ -18,15 +13,3 @@
<textarea id="source">
class: middle
# Title
- Introduction
- part 1
- level 3
- level 3 second line
- part 2
- Deep-dive
- ...
---
# Thanks