acl.cool/site/css-sample.dj

@@ -34,7 +34,6 @@ 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.
@@ -51,6 +50,3 @@ There are ten books in Iain M. Banks' _Culture_ series, possibly the greatest co
 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.
-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.

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

common_chars.txt

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

css/looks.css

@@ -206,16 +206,15 @@ hr:not(.thematic) {
 hr.thematic {
   border: none; /* remove default line */
   text-align: center;
-  margin-top: -0.55em;
-  margin-bottom: -0.55em;
+  margin-top: -0.5em;
+  margin-bottom: -0.5em;
 }
 
 hr.thematic::before {
-  font-family: "Mono";
   text-align: center;
-  content: '◇◆◇';
+  content: '⬦⯁⬦';
   letter-spacing: 0.4em;
   color: var(--darker-color);
   display: block;
-  transform: translate(0.2em, -0.05em);
+  transform: translateX(0.2em);
 }