diff --git a/acl.cool/site/css-sample.dj b/acl.cool/site/css-sample.dj index f426add..a101fcd 100644 --- a/acl.cool/site/css-sample.dj +++ b/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. @@ -50,7 +49,4 @@ 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. -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 +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 diff --git a/build.sh b/build.sh index 7499ae4..cb08c5c 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 610a53a..4ec42a2 100644 --- a/common_chars.txt +++ b/common_chars.txt @@ -8,6 +8,4 @@ !"#$%&\'()*+,-./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 43dd9c5..66c4d10 100644 --- a/css/looks.css +++ b/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); }