Files
sanderling/docs/_template/page.html
T

74 lines
2.7 KiB
HTML

<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width,initial-scale=1">
<title>$if(title)$$title$ · $endif$sanderling</title>
<link rel="preconnect" href="https://fonts.googleapis.com">
<link rel="preconnect" href="https://fonts.gstatic.com" crossorigin>
<link rel="stylesheet" href="https://fonts.googleapis.com/css2?family=Inter:wght@400;500;600;700&family=JetBrains+Mono:wght@400;500;700&display=swap">
<link rel="stylesheet" href="__ROOT___assets/style.css">
<style>$highlighting-css$</style>
</head>
<body>
<div class="layout">
<aside class="sidebar">
<a class="brand" href="__ROOT__index.html">sanderling</a>
<nav>
<h3>Manual</h3>
<ul>
<li><a href="__ROOT__manual/getting-started.html">Getting started</a></li>
<li><a href="__ROOT__manual/writing-specs.html">Writing specs</a></li>
<li><a href="__ROOT__manual/runs.html">Runs</a></li>
<li><a href="__ROOT__manual/inspect.html">Inspect</a></li>
<li><a href="__ROOT__manual/cli.html">CLI reference</a></li>
</ul>
<h3>Development</h3>
<ul>
<li><a href="__ROOT__development/design-principles.html">Design principles</a></li>
<li><a href="__ROOT__development/architecture.html">Architecture</a></li>
</ul>
</nav>
</aside>
<main>
<article>
$body$
</article>
<footer>
<a href="https://github.com/priyanshujain/sanderling">github.com/priyanshujain/sanderling</a>
· <a href="https://github.com/priyanshujain/sanderling/issues/4">v0.1.0 roadmap</a>
</footer>
</main>
</div>
<script type="module">
import mermaid from 'https://cdn.jsdelivr.net/npm/mermaid@10/dist/mermaid.esm.min.mjs';
mermaid.initialize({ startOnLoad: false, theme: 'neutral', fontFamily: 'inherit' });
for (const pre of document.querySelectorAll('pre.mermaid, pre > code.language-mermaid')) {
const node = pre.tagName === 'PRE' ? pre : pre.parentElement;
const div = document.createElement('div');
div.className = 'mermaid';
div.textContent = node.textContent;
node.replaceWith(div);
}
await mermaid.run();
const overlay = document.createElement('div');
overlay.className = 'diagram-overlay';
document.body.appendChild(overlay);
overlay.addEventListener('click', () => overlay.classList.remove('open'));
document.addEventListener('keydown', (e) => {
if (e.key === 'Escape') overlay.classList.remove('open');
});
for (const diagram of document.querySelectorAll('.mermaid')) {
diagram.addEventListener('click', () => {
const svg = diagram.querySelector('svg');
if (!svg) return;
overlay.innerHTML = '';
overlay.appendChild(svg.cloneNode(true));
overlay.classList.add('open');
});
}
</script>
</body>
</html>