al/pages
1
0
Fork 0
mirror of https://git.acl.cool/al/pages.git synced 2025-12-16 20:41:16 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

Compare commits

base: al:bd425894a6e430140f1cf5bde19a76d802a710d8
Branches Tags
al:main
al:reform
al:improve_math
al:rewind
..
compare: al:60eedbb25e423b822804aa497981b727848d4d88
Branches Tags
al:main
al:reform
al:improve_math
al:rewind

3 commits
bd425894a6 ... 60eedbb25e

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
Download patch file Download diff file Expand all files Collapse all files

4
acl.cool/site/css-sample.dj
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. 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. 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,3 +51,6 @@ There are ten books in Iain M. Banks' _Culture_ series, possibly the greatest co
10. The Hydrogen Sonata 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.

2
build.sh
View file

@ -13,7 +13,7 @@ fi
function soup_config { function soup_config {
rm soupault.toml rm soupault.toml
cp ../soupault.toml soupault.toml cp ../soupault.toml soupault.toml
cat soupault.frag.toml* >>soupault.toml cat soupault.frag*.toml >>soupault.toml
} }
source ./pgvv/bin/activate source ./pgvv/bin/activate

2
common_chars.txt
View file

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

9
css/looks.css
View file

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