Compare commits

..

3 commits

Author SHA1 Message Date
Alexander
60eedbb25e pull the diamonds from the fonts you actually serve, dumbass 2025-06-28 16:16:01 -04:00
al
3078e0a3eb Update build.sh 2025-06-28 13:55:58 -04:00
al
33968a1189 Update acl.cool/site/css-sample.dj 2025-06-28 13:52:07 -04:00
4 changed files with 14 additions and 7 deletions

View file

@ -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.
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.

View file

@ -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

View file

@ -8,4 +8,6 @@
!"#$%&\'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\\]^_`abcdefghijklmnopqrstuvwxyz{|}~
◆◇⬥⬦

View file

@ -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);
}