e4d830cc7a
add pink space to tree pages
2025-07-15 21:55:43 +02:00
36705e7c1e
adding document mode
...
I've been thinking a lot about the treehouse and I feel like it's time to say goodbye to the tree format.
2025-07-14 19:25:22 +02:00
74baa61122
make the 🔗 button copy branch links to clipboard
...
to accomplish this, I generalised emoji tooltips to a shared Tooltip class.
in the long run I'd like to transform all existing `title=""` tooltips into these for stylistic consistency with the rest of the website, but this is good enough for now.
I also ended up cleaning up some old code from before the /b rework.
2025-01-12 17:58:20 +01:00
9cac6c3c3e
add a vim-like command line under :
2024-12-08 22:33:25 +01:00
523a364fa9
switch the layout to a wider one that leans slightly to the left of the page
...
this is to make space on the right for a nice background in the future
2024-10-30 23:02:47 +01:00
87ead3be17
moving some things around; fixed import maps not being deterministic
2024-07-22 20:01:58 +02:00
1d2ce8d701
remove a bunch of .html links
2024-03-03 21:39:54 +01:00
3a4eb87ca0
magic! now it works on web kit
2024-03-03 21:23:37 +01:00
a1464bb865
newsfeed
2024-02-21 23:17:19 +01:00
1bb14f059e
rearrange head in _tree to load important stuff more quickly
2024-02-20 21:50:01 +01:00
51de33c2b5
graphical output in code blocks
2024-02-18 00:29:58 +01:00
