2021-07-18 16:35:42 +03:00
|
|
|
<head>
|
2022-05-02 08:06:33 +03:00
|
|
|
<!-- Meta tags -->
|
|
|
|
|
<meta charset="UTF-8" />
|
|
|
|
|
<meta
|
|
|
|
|
name="description"
|
|
|
|
|
content="{{if .IsHome}}{{$.Site.Data.config.description}}{{else}}{{.Summary}}{{end}}"
|
|
|
|
|
/>
|
|
|
|
|
<title>
|
|
|
|
|
{{ if .Title }}{{ .Title }}{{ else }}{{ $.Site.Data.config.page_title }}{{
|
|
|
|
|
end }}
|
|
|
|
|
</title>
|
|
|
|
|
<meta name="viewport" content="width=device-width, initial-scale=1" />
|
|
|
|
|
<link
|
|
|
|
|
rel="shortcut icon"
|
|
|
|
|
type="image/png"
|
|
|
|
|
href="{{$.Site.BaseURL}}/icon.png"
|
|
|
|
|
/>
|
2021-07-18 16:35:42 +03:00
|
|
|
|
2022-05-02 08:06:33 +03: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-02 19:05:02 +03: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-02 08:06:33 +03:00
|
|
|
<link href="{{$finalCss.Permalink}}" rel="stylesheet" />
|
2021-08-13 23:46:00 +03:00
|
|
|
|
2022-05-02 08:06:33 +03:00
|
|
|
{{ $darkMode := resources.Get "js/darkmode.js" | resources.Fingerprint "md5" |
|
|
|
|
|
resources.Minify }}
|
|
|
|
|
<script src="{{$darkMode.Permalink}}"></script>
|
|
|
|
|
{{partial "katex.html" .}}
|
2022-01-03 21:18:31 +03:00
|
|
|
|
2022-05-02 08:06:33 +03:00
|
|
|
<!-- Preload page vars -->
|
|
|
|
|
{{$linkIndex := resources.Get "indices/linkIndex.json" | resources.Fingerprint
|
|
|
|
|
"md5" | resources.Minify | }} {{$contentIndex := resources.Get
|
|
|
|
|
"indices/contentIndex.json" | resources.Fingerprint "md5" | resources.Minify
|
|
|
|
|
}}
|
|
|
|
|
<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,
|
|
|
|
|
}))
|
|
|
|
|
</script>
|
|
|
|
|
<script type="module">
|
|
|
|
|
import { router, navigate } from "https://unpkg.com/million/dist/router.mjs";
|
2022-05-02 19:04:36 +03:00
|
|
|
// SPA navigation for access later
|
2022-05-02 08:06:33 +03:00
|
|
|
window.navigate = navigate;
|
2022-05-02 19:04:36 +03:00
|
|
|
// We only mutate document.title and content within .singlePage element
|
2022-05-02 08:06:33 +03:00
|
|
|
router(".singlePage");
|
|
|
|
|
const callback = () => {
|
2022-05-02 19:10:40 +03:00
|
|
|
// requestAnimationFrame() delays graph draw until SPA routing is finished
|
2022-05-02 08:06:33 +03:00
|
|
|
const draw = () => {
|
|
|
|
|
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 = "";
|
|
|
|
|
|
|
|
|
|
drawGraph(
|
|
|
|
|
{{strings.TrimRight "/" .Page.Permalink}},
|
|
|
|
|
{{strings.TrimRight "/" .Site.BaseURL}},
|
|
|
|
|
{{$.Site.Data.graphConfig.paths}},
|
|
|
|
|
{{$.Site.Data.graphConfig.depth}},
|
|
|
|
|
{{$.Site.Data.graphConfig.enableDrag}},
|
|
|
|
|
{{$.Site.Data.graphConfig.enableLegend}},
|
|
|
|
|
{{$.Site.Data.graphConfig.enableZoom}}
|
|
|
|
|
);
|
|
|
|
|
};
|
|
|
|
|
requestAnimationFrame(draw);
|
|
|
|
|
};
|
|
|
|
|
// We need on initial load, then subsequent redirs
|
|
|
|
|
window.addEventListener("million:navigate", callback);
|
|
|
|
|
window.addEventListener("DOMContentLoaded", callback);
|
|
|
|
|
</script>
|
2021-07-18 22:19:58 +03:00
|
|
|
</head>
|
2021-08-13 23:46:00 +03:00
|
|
|
{{ template "_internal/google_analytics.html" . }}
|
