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