2023-08-18 13:25:20 +02:00
|
|
|
<!DOCTYPE html>
|
|
|
|
|
|
|
|
|
|
<html>
|
|
|
|
|
|
|
|
|
|
<head>
|
2023-08-18 17:04:12 +02:00
|
|
|
<meta charset="UTF-8">
|
|
|
|
|
|
2023-08-18 13:25:20 +02:00
|
|
|
<title>{{ config.user.title }}</title>
|
2023-08-18 17:04:12 +02:00
|
|
|
|
2023-08-20 15:54:06 +02:00
|
|
|
<meta name="viewport" content="width=device-width, initial-scale=1" />
|
|
|
|
|
|
2023-08-18 17:04:12 +02:00
|
|
|
<link rel="stylesheet" href="{{ site }}/static/css/main.css">
|
2023-08-18 19:25:38 +02:00
|
|
|
<link rel="stylesheet" href="{{ site }}/static/css/tree.css">
|
2023-08-18 17:04:12 +02:00
|
|
|
<link rel="stylesheet" href="{{ site }}/static/font/font.css">
|
|
|
|
|
|
2023-08-20 15:05:59 +02:00
|
|
|
<script type="module" src="{{ site }}/static/js/tree.js"></script>
|
2023-08-18 17:04:12 +02:00
|
|
|
<script type="module" src="{{ site }}/static/js/usability.js"></script>
|
2023-08-18 13:25:20 +02:00
|
|
|
</head>
|
|
|
|
|
|
|
|
|
|
<body>
|
2023-08-22 18:23:18 +02:00
|
|
|
<noscript>
|
|
|
|
|
<div class="noscript" role="note">
|
|
|
|
|
<p>hey! looks like you have <strong>JavaScript disabled.</strong><br>
|
|
|
|
|
I respect that decision, but you may find the experience of browsing the treehouse… not great.<br>
|
|
|
|
|
for example, links to branches may not work properly. I cannot do anything about this; it's due to how
|
|
|
|
|
the <code><details></code> element works.<br>
|
|
|
|
|
(a <code><details></code> will not expand itself automatically to reveal the linked element to
|
|
|
|
|
you.)<br>
|
|
|
|
|
I did my best to at least keep the site readable in this state, but you can only do so much with plain
|
|
|
|
|
HTML and CSS.</p>
|
|
|
|
|
|
|
|
|
|
<p><strong>Pinky promise this website does not contain any malicious code such as trackers or cryptocurrency
|
|
|
|
|
miners.</strong><br>
|
|
|
|
|
if you don't believe me, you're free to inspect the source yourself! all the scripts are written
|
|
|
|
|
lovingly in vanilla JS (not minified!) by yours truly ❤️</p>
|
2023-08-22 19:23:31 +02:00
|
|
|
<small>and if this box is annoying, feel free to block it with uBlock Origin or something. I have no
|
2023-08-22 18:23:18 +02:00
|
|
|
way of remembering you closed it, and don't wanna host this site on a dynamic server.</small>
|
2023-08-22 19:23:31 +02:00
|
|
|
</div>
|
2023-08-22 18:23:18 +02:00
|
|
|
</noscript>
|
|
|
|
|
|
2023-08-18 17:04:12 +02:00
|
|
|
<main class="tree">
|
|
|
|
|
{{{ tree }}}
|
|
|
|
|
</main>
|
2023-08-18 13:25:20 +02:00
|
|
|
</body>
|
|
|
|
|
|
|
|
|
|
</html>
|
