From 33968a118947585a2040ea27c2c0697a314e24f4 Mon Sep 17 00:00:00 2001 From: al Date: Sat, 28 Jun 2025 13:52:07 -0400 Subject: [PATCH 1/3] Update acl.cool/site/css-sample.dj --- acl.cool/site/css-sample.dj | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/acl.cool/site/css-sample.dj b/acl.cool/site/css-sample.dj index a101fcd..f426add 100644 --- a/acl.cool/site/css-sample.dj +++ b/acl.cool/site/css-sample.dj @@ -34,6 +34,7 @@ A simple proof of fusion for `List.map` in Lean 4. This and similar theorems are The above block is set with ```` ``` ```` above and below the code. Interestingly, trying to type that little backtick sequence there is a little unintuitive in markdown/djot. If the code you're trying to set has $`n` consecutive backticks in it, you have to surround it with $`n+1` backticks and pad those delimiters inside with a space. 1234567890 is a pretty small number, really. +{.thematic} *** There are ten books in Iain M. Banks' _Culture_ series, possibly the greatest cohesive science-fiction series of all time. Banks' prose and poetry leaves little to be desired. @@ -49,4 +50,7 @@ There are ten books in Iain M. Banks' _Culture_ series, possibly the greatest co 9. Surface Detail 10. The Hydrogen Sonata -Math is something I'm still working on; in more ways than one. Something like $$`\forall x \in \mathbb{N}, x \in \mathbb{N}` is easy enough, but other things are harder. \ No newline at end of file +Math is something I'm still working on; in more ways than one. Something like $$`\forall x \in \mathbb{N}, x \in \mathbb{N}` is easy enough, but other things are harder. +Not everyone knows what distfix grammars[^mixfix] are, but they're quite useful when it comes to implementing user-defined syntax. + +[^mixfix]: Also, perhaps more commonly, called "mixfix" grammars. \ No newline at end of file From 3078e0a3eba5abe2296091b4680e1f3b9c6bace5 Mon Sep 17 00:00:00 2001 From: al Date: Sat, 28 Jun 2025 13:55:58 -0400 Subject: [PATCH 2/3] Update build.sh --- build.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build.sh b/build.sh index cb08c5c..7499ae4 100755 --- a/build.sh +++ b/build.sh @@ -13,7 +13,7 @@ fi function soup_config { rm soupault.toml cp ../soupault.toml soupault.toml - cat soupault.frag.toml* >>soupault.toml + cat soupault.frag*.toml >>soupault.toml } source ./pgvv/bin/activate From 60eedbb25e423b822804aa497981b727848d4d88 Mon Sep 17 00:00:00 2001 From: Alexander Date: Sat, 28 Jun 2025 16:15:32 -0400 Subject: [PATCH 3/3] pull the diamonds from the fonts you actually serve, dumbass --- common_chars.txt | 4 +++- css/looks.css | 9 +++++---- 2 files changed, 8 insertions(+), 5 deletions(-) diff --git a/common_chars.txt b/common_chars.txt index 4ec42a2..610a53a 100644 --- a/common_chars.txt +++ b/common_chars.txt @@ -8,4 +8,6 @@ !"#$%&\'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\\]^_`abcdefghijklmnopqrstuvwxyz{|}~ -… \ No newline at end of file +… + +◆◇⬥⬦ \ No newline at end of file diff --git a/css/looks.css b/css/looks.css index 66c4d10..43dd9c5 100644 --- a/css/looks.css +++ b/css/looks.css @@ -206,15 +206,16 @@ hr:not(.thematic) { hr.thematic { border: none; /* remove default line */ text-align: center; - margin-top: -0.5em; - margin-bottom: -0.5em; + margin-top: -0.55em; + margin-bottom: -0.55em; } hr.thematic::before { + font-family: "Mono"; text-align: center; - content: '⬦⯁⬦'; + content: '◇◆◇'; letter-spacing: 0.4em; color: var(--darker-color); display: block; - transform: translateX(0.2em); + transform: translate(0.2em, -0.05em); }