2022-08-24 03:32:40 +00:00
<!-- set data/config yaml file based on website language -->
{{ $config := cond (eq $.Site.Language.Lang "en") "config" (printf "config.%s" $.Site.Language.Lang) }}
{{ $data := index $.Site.Data $config }}
2021-07-18 13:35:42 +00:00
< head >
2022-05-02 05:06:33 +00:00
<!-- Meta tags -->
< meta charset = "UTF-8" / >
< meta
name="description"
2022-08-24 03:32:40 +00:00
content="{{if .IsHome}}{{$data.description | default $.Site.Data.config.description}}{{else}}{{.Summary}}{{end}}"
2022-05-02 05:06:33 +00:00
/>
2022-05-28 01:45:42 +00:00
< title >
2022-08-24 03:32:40 +00:00
{{ if .Title }}{{ .Title }}{{ else }}{{ $data.page_title | default $.Site.Data.config.page_title }}{{
2022-05-28 01:45:42 +00:00
end }}
< / title >
2022-05-02 05:06:33 +00:00
< meta name = "viewport" content = "width=device-width, initial-scale=1" / >
2022-06-27 20:04:32 +00:00
<!-- HTML Favicon -->
2022-08-24 03:32:40 +00:00
{{ $favicon := $data.favicon | default $.Site.Data.config.favicon | default (slice (dict "rel" "shortcut icon" "type" "image/png" "href" "icon.png")) }}
2022-06-27 20:04:32 +00:00
{{ $type := (printf "%T" $favicon) }}
{{ if eq $type "string" }}
{{ $favicon | safeHTML }}
{{ else }}
{{ range $favicon }}
2022-06-27 23:21:22 +00:00
< link rel = "{{.rel}}" { { if . type } } type = "{{.type}}" { { end } } { { if . sizes } } sizes = "{{.sizes}}" { { end } } href = "{{$.Site.BaseURL}}/{{.href}}" / >
2022-06-27 20:04:32 +00:00
{{- end }}
{{ end }}
2021-07-18 13:35:42 +00:00
2022-05-02 05:06:33 +00:00
<!-- CSS Stylesheets and Fonts -->
2022-05-28 01:45:42 +00:00
{{$sass := resources.Match "styles/[!_]*.scss" }}
{{$css := slice }}
{{range $sass}}
{{$scss := . | resources.ToCSS (dict "outputStyle" "compressed") }}
{{$css = $css | append $scss}}
{{end}}
2022-08-24 03:32:40 +00:00
{{if $data.enableCallouts | default $.Site.Data.config.enableCallouts}}
2022-07-31 00:29:26 +00:00
{{$scss := resources.Get "styles/_callouts.scss" | resources.ToCSS (dict "outputStyle" "compressed") }}
{{$css = $css | append $scss}}
{{end}}
2022-05-28 01:45:42 +00:00
{{$finalCss := $css | resources.Concat "styles.css" | resources.Fingerprint "md5" | resources.Minify }}
2022-05-02 05:06:33 +00:00
< link href = "{{$finalCss.Permalink}}" rel = "stylesheet" / >
2021-08-13 20:46:00 +00:00
2022-07-01 18:03:52 +00:00
{{$lightSyntax := resources.Get "styles/_light_syntax.scss" | resources.ToCSS (dict "outputStyle" "compressed") | resources.Fingerprint "md5" | resources.Minify }}
< link href = "{{$lightSyntax.Permalink}}" rel = "stylesheet" id = "theme-link" >
<!-- Base scripts -->
2022-07-31 17:54:23 +00:00
{{$scripts := (slice "js/darkmode.js" "js/util.js")}}
{{range $scripts}}
{{$scriptname := .}}
{{ $s := resources.Get $scriptname | resources.ExecuteAsTemplate $scriptname . | resources.Fingerprint "md5" | resources.Minify }}
< script src = "{{$s.Permalink}}" > < / script >
{{end}}
2022-05-28 01:45:42 +00:00
{{partial "katex.html" .}}
2022-11-27 18:53:52 +00:00
{{partial "mermaid.html" .}}
2022-12-29 15:43:41 +00:00
< script async src = "https://unpkg.com/@floating-ui/core@0.7.3" > < / script >
< script async src = "https://unpkg.com/@floating-ui/dom@0.5.4" > < / script >
2022-05-28 01:45:42 +00:00
{{ $popover := resources.Get "js/popover.js" | resources.Fingerprint "md5" |
resources.Minify }}
2022-12-29 15:43:41 +00:00
< script async src = "{{$popover.Permalink}}" > < / script >
2022-05-03 15:47:42 +00:00
2022-07-01 18:03:52 +00:00
<!-- Optional scripts -->
2022-08-24 03:32:40 +00:00
{{ if $data.enableCodeBlockTitle | default $.Site.Data.config.enableCallouts }}
2022-07-01 18:03:52 +00:00
{{ $codeTitle := resources.Get "js/code-title.js" | resources.Fingerprint "md5" | resources.Minify }}
2022-12-29 15:43:41 +00:00
< script defer src = "{{$codeTitle.Permalink}}" > < / script >
2022-07-01 18:03:52 +00:00
{{end}}
2022-08-24 03:32:40 +00:00
{{ if $data.enableCodeBlockCopy | default $.Site.Data.config.enableCodeBlockCopy }}
2022-07-03 18:42:35 +00:00
{{ $clipboard := resources.Get "js/clipboard.js" | resources.Fingerprint "md5" | resources.Minify }}
2022-12-29 15:43:41 +00:00
< script defer src = "{{$clipboard.Permalink}}" > < / script >
2022-07-03 18:42:35 +00:00
{{ end }}
2022-08-24 03:32:40 +00:00
{{ if $data.enableCallouts | default $.Site.Data.config.enableCallouts }}
2022-07-31 00:29:26 +00:00
{{ $callouts := resources.Get "js/callouts.js" | resources.Fingerprint "md5" | resources.Minify }}
2022-12-29 15:43:41 +00:00
< script defer src = "{{$callouts.Permalink}}" > < / script >
2022-07-31 00:29:26 +00:00
{{ end }}
2022-05-02 05:06:33 +00:00
<!-- Preload page vars -->
2022-05-28 01:45:42 +00:00
{{$linkIndex := resources.Get "indices/linkIndex.json" | resources.Fingerprint
"md5" | resources.Minify | }} {{$contentIndex := resources.Get
"indices/contentIndex.json" | resources.Fingerprint "md5" | resources.Minify
}}
2022-05-02 05:06:33 +00:00
< script >
2022-11-22 07:36:27 +00:00
const SEARCH_ENABLED = {{.Site.Data.config.search.enableSemanticSearch}}
2022-12-04 05:03:12 +00:00
const LATEX_ENABLED = {{.Site.Data.config.enableLatex}}
2022-11-22 07:36:27 +00:00
const PRODUCTION = {{ hugo.IsProduction }}
2022-05-02 05:06:33 +00:00
const BASE_URL = {{.Site.BaseURL}}
const fetchData = Promise.all([
fetch("{{ $linkIndex.Permalink }}")
.then(data => data.json())
.then(data => ({
index: data.index,
links: data.links,
})),
fetch("{{ $contentIndex.Permalink }}")
.then(data => data.json()),
])
.then(([{index, links}, content]) => ({
index,
links,
content,
}))
2022-05-20 20:50:56 +00:00
2022-06-06 11:56:47 +00:00
const render = () => {
2022-05-30 03:40:44 +00:00
// NOTE: everything within this callback will be executed for every page navigation. This is a good place to put JavaScript that loads or modifies data on the page, adds event listeners, etc. If you are only dealing with basic DOM replacement, use the init function
2022-06-01 12:49:27 +00:00
2022-06-29 23:12:33 +00:00
const siteBaseURL = new URL(BASE_URL);
2022-06-01 12:49:27 +00:00
const pathBase = siteBaseURL.pathname;
const pathWindow = window.location.pathname;
2022-06-02 06:49:09 +00:00
const isHome = pathBase == pathWindow;
2022-06-01 12:49:27 +00:00
2022-08-24 03:32:40 +00:00
{{if $data.enableCodeBlockCopy | default $.Site.Data.config.enableCodeBlockCopy -}}
2022-07-03 18:42:35 +00:00
addCopyButtons();
{{ end }}
2022-08-24 03:32:40 +00:00
{{if $data.enableSPA | default $.Site.Data.config.enableSPA -}}
2022-07-01 18:03:52 +00:00
addTitleToCodeBlocks();
{{ end }}
2022-08-24 03:32:40 +00:00
{{if $data.enableCallouts | default $.Site.Data.config.enableCallouts -}}
2022-07-31 00:29:26 +00:00
addCollapsibleCallouts();
{{ end }}
2022-12-29 15:43:41 +00:00
2022-08-24 03:32:40 +00:00
{{if $data.enableLinkPreview | default $.Site.Data.config.enableLinkPreview}}
2022-05-06 00:30:55 +00:00
initPopover(
{{strings.TrimRight "/" .Site.BaseURL }},
2022-12-04 05:03:12 +00:00
{{$data.enableContextualBacklinks | default $.Site.Data.config.enableContextualBacklinks}}
2022-05-06 00:30:55 +00:00
)
2022-05-03 15:47:42 +00:00
{{end}}
2022-08-11 18:42:16 +00:00
2022-08-24 03:32:40 +00:00
{{if $data.enableFooter | default $.Site.Data.config.enableFooter}}
2022-08-11 18:42:16 +00:00
const footer = document.getElementById("footer")
if (footer) {
const container = document.getElementById("graph-container")
// retry if the graph is not ready
if (!container) return requestAnimationFrame(render)
// clear the graph in case there is anything within it
container.textContent = ""
const drawGlobal = isHome & & {{$.Site.Data.graphConfig.enableGlobalGraph}};
drawGraph(
{{strings.TrimRight "/" .Site.BaseURL}},
drawGlobal,
{{$.Site.Data.graphConfig.paths}},
drawGlobal ? {{$.Site.Data.graphConfig.globalGraph}} : {{$.Site.Data.graphConfig.localGraph}}
);
}
{{end}}
2022-11-27 18:53:52 +00:00
{{if $data.enableMermaid | default $.Site.Data.config.enableMermaid}}
var els = document.getElementsByClassName("mermaid");
if (els.length > 0) {
import('https://unpkg.com/mermaid@9/dist/mermaid.esm.min.mjs').then(
(obj) => {
// init forces mermaid to render mermaid markdown without waiting
// for DOMContentLoaded event
obj.default.init();
}
)
}
{{end}}
2023-02-05 20:01:49 +00:00
// analytics
function clickHandler(evt) {
const target = evt.target
const classNames = target.className.split(" ")
const broken = classNames.includes("broken")
const internal = classNames.includes("internal-link")
plausible("Link Click", {
props: {
href: target.href,
broken,
internal,
graph: false,
}
})
}
const links = document.querySelectorAll("a")
for (link of links) {
if (link.className.includes("root-title")) {
link.addEventListener('click', clickHandler, {once: true})
}
}
2022-05-30 03:40:44 +00:00
}
const init = (doc = document) => {
// NOTE: everything within this callback will be executed for initial page navigation. This is a good place to put JavaScript that only replaces DOM nodes.
2022-08-24 03:32:40 +00:00
{{if $data.enableCodeBlockCopy | default $.Site.Data.config.enableCodeBlockCopy -}}
2022-07-03 18:42:35 +00:00
addCopyButtons();
{{ end }}
2022-08-24 03:32:40 +00:00
{{if $data.enableCodeBlockTitle | default $.Site.Data.config.enableCodeBlockTitle -}}
2022-07-01 18:03:52 +00:00
addTitleToCodeBlocks();
{{- end -}}
2022-08-24 03:32:40 +00:00
{{if $data.enableLatex | default $.Site.Data.config.enableLatex}}
2022-05-30 03:40:44 +00:00
renderMathInElement(doc.body, {
2022-05-05 05:03:09 +00:00
delimiters: [
{left: '$$', right: '$$', display: true},
{left: '$', right: '$', display: false},
],
2022-09-12 01:03:55 +00:00
macros: {
'’ ': "'"
},
2022-05-05 05:03:09 +00:00
throwOnError : false
});
2022-05-04 15:10:59 +00:00
{{end}}
2022-05-02 05:06:33 +00:00
};
2022-05-20 20:50:56 +00:00
< / script >
2022-08-24 03:32:40 +00:00
{{if $data.enableSPA | default $.Site.Data.config.enableSPA}}
2022-05-28 01:45:42 +00:00
{{ $router := resources.Get "js/router.js" | resources.Fingerprint "md5" |
resources.Minify }}
2022-05-20 20:50:56 +00:00
< script type = "module" >
2022-05-28 01:42:01 +00:00
import { attachSPARouting } from "{{$router.Permalink}}"
2022-05-30 03:40:44 +00:00
attachSPARouting(init, render)
2022-05-02 05:06:33 +00:00
< / script >
2022-05-03 14:43:22 +00:00
{{else}}
2022-05-20 20:50:56 +00:00
< script >
2022-05-28 01:42:01 +00:00
window.Million = {
navigate: (url) => (window.location.href = url),
prefetch: () => {},
}
2022-07-01 18:02:42 +00:00
window.addEventListener("DOMContentLoaded", () => {
init()
render()
})
2022-05-20 20:50:56 +00:00
< / script >
2022-05-03 14:43:22 +00:00
{{end}}
2023-02-05 18:39:58 +00:00
{{ $trimmedURL := trim (index (split .Site.BaseURL "://") 1) "/" }}
< script defer data-domain = "{{$trimmedURL}}" src = "https://plausible.io/js/script.js" > < / script >
2023-02-05 19:34:39 +00:00
< script > window . plausible = window . plausible || function ( ) { ( window . plausible . q = window . plausible . q || [ ] ) . push ( arguments ) } < / script >
2021-07-18 19:19:58 +00:00
< / head >