73 lines
2.5 KiB
HTML
73 lines
2.5 KiB
HTML
<!DOCTYPE html>
|
|
<html lang="en">
|
|
|
|
<head>
|
|
<meta charset="UTF-8">
|
|
<meta name="viewport" content="width=device-width, initial-scale=1.0">
|
|
<title>THP: Typed Hypertext Processor</title>
|
|
|
|
<!-- Tailwind output -->
|
|
<link href="/css/out.css" rel="stylesheet">
|
|
|
|
<link rel="stylesheet" href="/css/xcode-colors.css">
|
|
|
|
<link rel="preconnect" href="https://fonts.googleapis.com">
|
|
<link rel="preconnect" href="https://fonts.gstatic.com" crossorigin>
|
|
<link
|
|
href="https://fonts.googleapis.com/css2?family=Fira+Sans:wght@400;500;600;700;800;900&family=Fira+Code&family=Inter:ital,wght@0,400;1,700&display=swap"
|
|
rel="stylesheet">
|
|
</head>
|
|
|
|
<body class="bg-c-bg text-c-text">
|
|
<nav class="fixed w-screen top-0 h-12 border-b border-[rgba(150,150,150,0.25)] bg-c-nav-bg backdrop-blur-md z-20">
|
|
<div class="container mx-auto h-full w-full flex items-center">
|
|
<a href="/" class="font-display font-bold italic text-2xl">
|
|
<span class="text-[#F5A9B8]">t</span><span>h</span><span class="text-[#5BCEFA]">p</span>
|
|
</a>
|
|
</div>
|
|
</nav>
|
|
|
|
<div class="grid grid-cols-[12rem_12rem_auto] container mx-auto">
|
|
<div class="pt-12 border-r border-[rgba(245,169,184,0.25)] h-screen sticky top-0">
|
|
<nav class="py-4 pr-2 overflow-x-scroll"
|
|
style="height: calc(100vh - 3rem);"
|
|
>
|
|
{{pages}}
|
|
</nav>
|
|
</div>
|
|
|
|
<div class="pt-12 max-h-screen border-r border-r-[rgba(91,205,250,0.25)] overflow-x-scroll sticky top-0">
|
|
<nav class="rounded-md mt-2 p-4">
|
|
<h2 class="text-xl font-display pb-4 opacity-75">On this page</h2>
|
|
|
|
{{sidebar}}
|
|
</nav>
|
|
</div>
|
|
|
|
<main class="py-[3.5rem] markdown p-4 min-w-0">
|
|
{{markdown}}
|
|
</main>
|
|
</div>
|
|
|
|
<script src="/js/highlighter.js"></script>
|
|
<script>
|
|
// Add an editor to all code samples
|
|
|
|
const code_elements = document.querySelectorAll(".language-thp");
|
|
|
|
for (const el of [...code_elements]) {
|
|
const pre_parent = el.parentElement;
|
|
const new_div = document.createElement("div");
|
|
const code = el.innerHTML;
|
|
|
|
el.parentElement.classList.add("language-thp");
|
|
pre_parent.removeChild(el);
|
|
pre_parent.appendChild(new_div);
|
|
|
|
CodeJar(new_div, thp_highlighter, {
|
|
tab: " "
|
|
}).updateCode(code);
|
|
}
|
|
</script>
|
|
</body>
|
|
</html> |