2021-07-18 09:35:42 -04:00
< head >
2022-05-01 22:06:33 -07:00
<!-- Meta tags -->
< meta charset = "UTF-8" / >
< meta
name="description"
content="{{if .IsHome}}{{$.Site.Data.config.description}}{{else}}{{.Summary}}{{end}}"
/>
2022-05-27 18:45:42 -07:00
< title >
{{ if .Title }}{{ .Title }}{{ else }}{{ $.Site.Data.config.page_title }}{{
end }}
< / title >
2022-05-01 22:06:33 -07:00
< meta name = "viewport" content = "width=device-width, initial-scale=1" / >
2022-05-27 18:45:42 -07:00
< link
rel="shortcut icon"
type="image/png"
href="{{$.Site.BaseURL}}/icon.png"
/>
2021-07-18 09:35:42 -04:00
2022-05-01 22:06:33 -07:00
<!-- CSS Stylesheets and Fonts -->
< link
href="https://fonts.googleapis.com/css2?family=Inter:wght@400;600;700&family=Source+Sans+Pro:wght@400; 600;700&family=Fira+Code:wght@400; 700& display=swap"
rel="stylesheet"
/>
2022-05-27 18:45:42 -07:00
{{$sass := resources.Match "styles/[!_]*.scss" }}
{{$css := slice }}
{{range $sass}}
{{$scss := . | resources.ToCSS (dict "outputStyle" "compressed") }}
{{$css = $css | append $scss}}
{{end}}
{{$finalCss := $css | resources.Concat "styles.css" | resources.Fingerprint "md5" | resources.Minify }}
2022-05-01 22:06:33 -07:00
< link href = "{{$finalCss.Permalink}}" rel = "stylesheet" / >
2021-08-13 22:46:00 +02:00
2022-05-27 18:42:01 -07:00
{{ $darkMode := resources.Get "js/darkmode.js" | resources.Fingerprint "md5" | resources.Minify }}
2022-05-01 22:06:33 -07:00
< script src = "{{$darkMode.Permalink}}" > < / script >
2022-05-27 18:45:42 -07:00
{{partial "katex.html" .}}
{{ $popover := resources.Get "js/popover.js" | resources.Fingerprint "md5" |
resources.Minify }}
2022-05-03 08:47:42 -07:00
< script src = "{{$popover.Permalink}}" > < / script >
2022-05-01 22:06:33 -07:00
<!-- Preload page vars -->
2022-05-27 18:45:42 -07: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-01 22:06:33 -07:00
< script >
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 16:50:56 -04:00
2022-05-03 10:16:09 -07:00
const draw = () => {
2022-06-01 13:49:27 +01:00
const siteBaseURL = new URL({{$.Site.BaseURL}});
const pathBase = siteBaseURL.pathname;
const pathWindow = window.location.pathname;
2022-06-02 07:49:09 +01:00
const isHome = pathBase == pathWindow;
2022-06-01 13:49:27 +01:00
2022-05-27 18:42:01 -07: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.
2022-05-28 22:52:18 -07:00
{{if $.Site.Data.config.enableFooter}}
2022-05-03 10:16:09 -07:00
const container = document.getElementById("graph-container")
// retry if the graph is not ready
if (!container) return requestAnimationFrame(draw)
// clear the graph in case there is anything within it
container.textContent = ""
2022-06-01 13:49:27 +01:00
if (isHome & & {{$.Site.Data.graphConfig.enableGlobalGraph}}) {
drawGraph(
{{strings.TrimRight "/" .Site.BaseURL}},
{{$.Site.Data.graphConfig.paths}},
{{$.Site.Data.graphConfig.depthGG}},
{{$.Site.Data.graphConfig.enableDragGG}},
{{$.Site.Data.graphConfig.enableLegendGG}},
{{$.Site.Data.graphConfig.enableZoomGG}},
true,
{{$.Site.Data.graphConfig.opacityScaleGG}},
{{$.Site.Data.graphConfig.scaleGG}},
{{$.Site.Data.graphConfig.repelForceGG}},
{{$.Site.Data.graphConfig.fontSizeGG}}
);
} else {
drawGraph(
{{strings.TrimRight "/" .Site.BaseURL}},
{{$.Site.Data.graphConfig.paths}},
{{$.Site.Data.graphConfig.depth}},
{{$.Site.Data.graphConfig.enableDrag}},
{{$.Site.Data.graphConfig.enableLegend}},
{{$.Site.Data.graphConfig.enableZoom}},
false,
{{$.Site.Data.graphConfig.opacityScale}},
{{$.Site.Data.graphConfig.scale}},
{{$.Site.Data.graphConfig.repelForce}},
{{$.Site.Data.graphConfig.fontSize}}
);
}
2022-05-28 22:52:18 -07:00
{{end}}
2022-05-03 08:47:42 -07:00
{{if $.Site.Data.config.enableLinkPreview}}
2022-05-05 20:30:55 -04:00
initPopover(
{{strings.TrimRight "/" .Site.BaseURL }},
{{$.Site.Data.config.enableContextualBacklinks}},
{{$.Site.Data.config.enableLatex}}
)
2022-05-03 08:47:42 -07:00
{{end}}
2022-05-04 08:10:59 -07:00
{{if $.Site.Data.config.enableLatex}}
2022-05-05 01:03:09 -04:00
renderMathInElement(document.body, {
delimiters: [
{left: '$$', right: '$$', display: true},
{left: '$', right: '$', display: false},
],
throwOnError : false
});
2022-05-04 08:10:59 -07:00
{{end}}
2022-05-01 22:06:33 -07:00
};
2022-05-20 16:50:56 -04:00
< / script >
2022-05-27 18:45:42 -07:00
{{if $.Site.Data.config.enableSPA}}
{{ $router := resources.Get "js/router.js" | resources.Fingerprint "md5" |
resources.Minify }}
2022-05-20 16:50:56 -04:00
< script type = "module" >
2022-05-27 18:42:01 -07:00
import { attachSPARouting } from "{{$router.Permalink}}"
attachSPARouting(draw)
2022-05-01 22:06:33 -07:00
< / script >
2022-05-03 10:43:22 -04:00
{{else}}
2022-05-20 16:50:56 -04:00
< script >
2022-05-27 18:42:01 -07:00
window.Million = {
navigate: (url) => (window.location.href = url),
prefetch: () => {},
}
draw()
2022-05-20 16:50:56 -04:00
< / script >
2022-05-03 10:43:22 -04:00
{{end}}
2021-07-18 15:19:58 -04:00
< / head >
2021-08-13 22:46:00 +02:00
{{ template "_internal/google_analytics.html" . }}
