2023-06-27 03:11:02 +00:00
|
|
|
<!DOCTYPE html>
|
|
|
|
|
<html lang="en">
|
2023-10-05 12:56:34 +00:00
|
|
|
|
2023-06-27 03:11:02 +00:00
|
|
|
<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>
|
2023-10-05 12:56:34 +00:00
|
|
|
<link
|
|
|
|
|
href="https://fonts.googleapis.com/css2?family=Fira+Sans+Condensed:wght@400;500;600;700;800;900&family=Fugaz+One&family=Inconsolata&family=Inter&display=swap"
|
|
|
|
|
rel="stylesheet">
|
|
|
|
|
<link
|
|
|
|
|
href="https://fonts.googleapis.com/css2?family=Fira+Code&family=Josefin+Sans:ital,wght@0,400;1,700&display=swap"
|
|
|
|
|
rel="stylesheet">
|
2023-09-15 03:15:35 +00:00
|
|
|
|
|
|
|
|
<style>
|
|
|
|
|
</style>
|
2023-06-27 03:11:02 +00:00
|
|
|
</head>
|
|
|
|
|
|
2023-10-05 12:56:34 +00:00
|
|
|
<body class="bg-c-bg text-c-text">
|
|
|
|
|
<nav class="fixed w-screen top-0 h-16 border-b border-gray-400 bg-c-nav-bg backdrop-blur-md z-20">
|
|
|
|
|
<div class="max-w-[70rem] mx-auto h-full w-full flex items-center">
|
|
|
|
|
<button class="font-display font-bold italic text-4xl">
|
|
|
|
|
<span class="text-[#F5A9B8]">t</span><span>h</span><span class="text-[#5BCEFA]">p</span>
|
|
|
|
|
</button>
|
|
|
|
|
</div>
|
|
|
|
|
</nav>
|
2023-06-27 03:11:02 +00:00
|
|
|
|
2023-10-05 12:56:34 +00:00
|
|
|
<div class="grid grid-cols-[12rem_12rem_auto] gap-2 max-w-[70rem] mx-auto">
|
|
|
|
|
<div class="pt-16 h-screen sticky top-0">
|
|
|
|
|
<nav class="rounded-md p-4 mt-2 border-2 border-[#F5A9B8] overflow-x-scroll"
|
|
|
|
|
style="height: calc(100vh - 4.75rem);"
|
|
|
|
|
>
|
2023-06-27 03:11:02 +00:00
|
|
|
{{pages}}
|
|
|
|
|
</nav>
|
|
|
|
|
</div>
|
|
|
|
|
|
2023-10-05 12:56:34 +00:00
|
|
|
<div class="pt-16 max-h-screen overflow-x-scroll sticky top-0">
|
|
|
|
|
<nav class="rounded-md mt-2 p-4 border-2 border-[#5BCEFA]">
|
2023-07-01 01:55:29 +00:00
|
|
|
<h2 class="text-2xl">On this page</h2>
|
2023-10-05 12:56:34 +00:00
|
|
|
|
2023-07-01 01:55:29 +00:00
|
|
|
<br>
|
2023-10-05 12:56:34 +00:00
|
|
|
|
2023-07-01 01:55:29 +00:00
|
|
|
{{sidebar}}
|
|
|
|
|
</nav>
|
|
|
|
|
</div>
|
2023-09-15 03:15:35 +00:00
|
|
|
|
2023-10-05 12:56:34 +00:00
|
|
|
<main class="py-[4.5rem] markdown p-4">
|
2023-06-27 03:11:02 +00:00
|
|
|
{{markdown}}
|
|
|
|
|
</main>
|
|
|
|
|
</div>
|
2023-10-02 02:26:57 +00:00
|
|
|
|
|
|
|
|
<script src="/js/prism.min.js"></script>
|
|
|
|
|
<script src="/js/prism.thp.js"></script>
|
2023-06-27 03:11:02 +00:00
|
|
|
</body>
|
2023-10-05 12:56:34 +00:00
|
|
|
|
2023-06-27 03:11:02 +00:00
|
|
|
</html>
|
