2024-05-22 21:55:06 +02:00
|
|
|
{
|
|
|
|
|
body,
|
|
|
|
|
head,
|
|
|
|
|
...
|
|
|
|
|
}: {
|
|
|
|
|
name = "base";
|
2024-05-25 17:16:01 +02:00
|
|
|
format = "html";
|
2024-05-22 21:55:06 +02:00
|
|
|
|
|
|
|
|
output = /*html*/''
|
|
|
|
|
<html>
|
|
|
|
|
<head>
|
|
|
|
|
<link rel="stylesheet" href="/base.css" />
|
|
|
|
|
${head}
|
|
|
|
|
</head>
|
|
|
|
|
<body>
|
|
|
|
|
<div id="navigation">
|
|
|
|
|
<a href="/">./</a>
|
|
|
|
|
<hr/>
|
|
|
|
|
<a href="/posts/index.html">./posts</a>
|
|
|
|
|
</div>
|
|
|
|
|
<hr/>
|
|
|
|
|
${body}
|
|
|
|
|
</body>
|
|
|
|
|
</html>
|
|
|
|
|
'';
|
|
|
|
|
}
|
