blob: 3c8654bfbaa8c8e7181784b60f1508b00dabcf03 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
|
open Wormhole
open Wormhole.Post
let render (posts: Post.t list) =
<html>
<link
rel="stylesheet"
href="/static/pixeloid-sans.ttf"
/>
<link rel="stylesheet" href="static/main.css" />
<link
rel="stylesheet"
href="https://cdn.jsdelivr.net/npm/@shoelace-style/shoelace@2.12.0/cdn/themes/light.css"
/>
<script
type="module"
src="https://cdn.jsdelivr.net/npm/@shoelace-style/shoelace@2.12.0/cdn/shoelace-autoloader.js"
></script>
<head>
<title>Sensemaking Galaxy</title>
</head>
<body style="display:flex; flex-direction:column; align-items:center;">
<div style="display:flex;margin-top: 3rem; padding: 6px; gap: 3px; margin-bottom:
3rem;">
<h1 class="intro" style="color: white; letter-spacing: .5rem;">SENSEMAKING GALAXY</h1>
<a href="/feed.xml">
<img src="/static/rss.svg" alt="rss" style="height: 20px; margin-top: 2rem;" />
</a>
</div>
<sl-card style="margin-bottom: 4rem; min-width: 400px; max-width:400px;" class="space-intro">
<p>Haling from other points in time and space, these posts traveled
here from across the cybernet via a Mastodon Wormhole.</p>
<a href="https://git.mccd.space/wormhole" style="color: var(--lavender-grey)">Source code</a>
</sl-card>
% posts |> List.iter begin fun { published; author; author_link; summary; tags; _ } ->
<div style="margin-bottom: 1.0rem;">
<sl-card class="space-card" style="min-width: 400px; max-width: 600px; margin: 10px; ">
<div slot="header" style="display:flex; gap: 5px;">
<%s published %>
<a href=<%s author_link %>><%s author %></a>
</div>
<div style="display:flex; flex-direction:column; gap: 10px">
<%s! summary %>
</div>
<div slot="footer" style="display:flex; flex-direction:row; justify-content:space-between">
<div style="display:flex; flex-direction:row; gap: 3px">
% tags |> List.iter begin fun tag ->
<sl-tag size="small"><%s tag %></sl-tag>
% end;
</div>
</div>
</div>
% end;
<div class="space"></div>
</body>
</html>
|