| 
						
						
							
								
							
						
						
					 | 
					 | 
					@ -5,13 +5,14 @@ function htmlToElement(html) {
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					  return template.content.firstChild
 | 
					 | 
					 | 
					 | 
					  return template.content.firstChild
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					}
 | 
					 | 
					 | 
					 | 
					}
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					
 | 
					 | 
					 | 
					 | 
					
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					function initPopover(baseURL, useContextualBacklinks) {
 | 
					 | 
					 | 
					 | 
					function initPopover(baseURL, useContextualBacklinks, renderLatex) {
 | 
				
			
			
				
				
			
		
	
		
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					  const basePath = baseURL.replace(window.location.origin, "")
 | 
					 | 
					 | 
					 | 
					  const basePath = baseURL.replace(window.location.origin, "")
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					  fetchData.then(({ content }) => {
 | 
					 | 
					 | 
					 | 
					  fetchData.then(({ content }) => {
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					    const links = [...document.getElementsByClassName("internal-link")]
 | 
					 | 
					 | 
					 | 
					    const links = [...document.getElementsByClassName("internal-link")]
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					    links
 | 
					 | 
					 | 
					 | 
					    links
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					      .filter(li => li.dataset.src || (li.dataset.idx && useContextualBacklinks))
 | 
					 | 
					 | 
					 | 
					      .filter(li => li.dataset.src || (li.dataset.idx && useContextualBacklinks))
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					      .forEach(li => {
 | 
					 | 
					 | 
					 | 
					      .forEach(li => {
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					 | 
					 | 
					 | 
					 | 
					        var el
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					        if (li.dataset.ctx) {
 | 
					 | 
					 | 
					 | 
					        if (li.dataset.ctx) {
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					          const linkDest = content[li.dataset.src]
 | 
					 | 
					 | 
					 | 
					          const linkDest = content[li.dataset.src]
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					          const popoverElement = `<div class="popover">
 | 
					 | 
					 | 
					 | 
					          const popoverElement = `<div class="popover">
 | 
				
			
			
		
	
	
		
		
			
				
					| 
						
						
						
							
								
							
						
					 | 
					 | 
					@ -19,32 +20,38 @@ function initPopover(baseURL, useContextualBacklinks) {
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					    <p>${highlight(removeMarkdown(linkDest.content), li.dataset.ctx)}...</p>
 | 
					 | 
					 | 
					 | 
					    <p>${highlight(removeMarkdown(linkDest.content), li.dataset.ctx)}...</p>
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					    <p class="meta">${new Date(linkDest.lastmodified).toLocaleDateString()}</p>
 | 
					 | 
					 | 
					 | 
					    <p class="meta">${new Date(linkDest.lastmodified).toLocaleDateString()}</p>
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					</div>`
 | 
					 | 
					 | 
					 | 
					</div>`
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					          const el = htmlToElement(popoverElement)
 | 
					 | 
					 | 
					 | 
					          el = htmlToElement(popoverElement)
 | 
				
			
			
				
				
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					          li.appendChild(el)
 | 
					 | 
					 | 
					 | 
					 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					          li.addEventListener("mouseover", () => {
 | 
					 | 
					 | 
					 | 
					 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					            el.classList.add("visible")
 | 
					 | 
					 | 
					 | 
					 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					          })
 | 
					 | 
					 | 
					 | 
					 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					          li.addEventListener("mouseout", () => {
 | 
					 | 
					 | 
					 | 
					 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					            el.classList.remove("visible")
 | 
					 | 
					 | 
					 | 
					 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					          })
 | 
					 | 
					 | 
					 | 
					 | 
				
			
			
		
	
		
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					        } else {
 | 
					 | 
					 | 
					 | 
					        } else {
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					          const linkDest = content[li.dataset.src.replace(/\/$/g, "").replace(basePath, "")]
 | 
					 | 
					 | 
					 | 
					          const linkDest = content[li.dataset.src.replace(/\/$/g, "").replace(basePath, "")]
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					 | 
					 | 
					 | 
					 | 
					          console.log(linkDest.content)
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					          if (linkDest) {
 | 
					 | 
					 | 
					 | 
					          if (linkDest) {
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					            const popoverElement = `<div class="popover">
 | 
					 | 
					 | 
					 | 
					            const popoverElement = `<div class="popover">
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					    <h3>${linkDest.title}</h3>
 | 
					 | 
					 | 
					 | 
					    <h3>${linkDest.title}</h3>
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					    <p>${removeMarkdown(linkDest.content).split(" ", 20).join(" ")}...</p>
 | 
					 | 
					 | 
					 | 
					    <p>${removeMarkdown(linkDest.content).split(" ", 20).join(" ")}...</p>
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					    <p class="meta">${new Date(linkDest.lastmodified).toLocaleDateString()}</p>
 | 
					 | 
					 | 
					 | 
					    <p class="meta">${new Date(linkDest.lastmodified).toLocaleDateString()}</p>
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					</div>`
 | 
					 | 
					 | 
					 | 
					</div>`
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					            const el = htmlToElement(popoverElement)
 | 
					 | 
					 | 
					 | 
					            el = htmlToElement(popoverElement)
 | 
				
			
			
				
				
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					            li.appendChild(el)
 | 
					 | 
					 | 
					 | 
					 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					            li.addEventListener("mouseover", () => {
 | 
					 | 
					 | 
					 | 
					 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					              el.classList.add("visible")
 | 
					 | 
					 | 
					 | 
					 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					            })
 | 
					 | 
					 | 
					 | 
					 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					            li.addEventListener("mouseout", () => {
 | 
					 | 
					 | 
					 | 
					 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					              el.classList.remove("visible")
 | 
					 | 
					 | 
					 | 
					 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					            })
 | 
					 | 
					 | 
					 | 
					 | 
				
			
			
		
	
		
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					          }
 | 
					 | 
					 | 
					 | 
					          }
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					        }
 | 
					 | 
					 | 
					 | 
					        }
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					 | 
					 | 
					 | 
					 | 
					        li.appendChild(el)
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					 | 
					 | 
					 | 
					 | 
					        if (renderLatex) {
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					 | 
					 | 
					 | 
					 | 
					          renderMathInElement(el, {
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					 | 
					 | 
					 | 
					 | 
					            delimiters: [
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					 | 
					 | 
					 | 
					 | 
					              { left: '$$', right: '$$', display: false },
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					 | 
					 | 
					 | 
					 | 
					              { left: '$', right: '$', display: false },
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					 | 
					 | 
					 | 
					 | 
					              { left: '\\(', right: '\\)', display: false },
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					 | 
					 | 
					 | 
					 | 
					              { left: '\\[', right: '\\]', display: false }
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					 | 
					 | 
					 | 
					 | 
					            ],
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					 | 
					 | 
					 | 
					 | 
					            throwOnError: false
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					 | 
					 | 
					 | 
					 | 
					          })
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					 | 
					 | 
					 | 
					 | 
					        }
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					 | 
					 | 
					 | 
					 | 
					        li.addEventListener("mouseover", () => {
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					 | 
					 | 
					 | 
					 | 
					          el.classList.add("visible")
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					 | 
					 | 
					 | 
					 | 
					        })
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					 | 
					 | 
					 | 
					 | 
					        li.addEventListener("mouseout", () => {
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					 | 
					 | 
					 | 
					 | 
					          el.classList.remove("visible")
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					 | 
					 | 
					 | 
					 | 
					        })
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					 | 
					 | 
					 | 
					 | 
					
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					      })
 | 
					 | 
					 | 
					 | 
					      })
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					  })
 | 
					 | 
					 | 
					 | 
					  })
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					}
 | 
					 | 
					 | 
					 | 
					}
 | 
				
			
			
		
	
	
		
		
			
				
					| 
						
						
						
					 | 
					 | 
					
 
 |