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

Compare commits

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

No commits in common. "60eedbb25e423b822804aa497981b727848d4d88" and "bd425894a6e430140f1cf5bde19a76d802a710d8" have entirely different histories.
60eedbb25e ... bd425894a6

4 changed files with 7 additions and 14 deletions
Download patch file Download diff file Expand all files Collapse all files

4
acl.cool/site/css-sample.dj
View file

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

9
css/looks.css
View file

@ -206,16 +206,15 @@ 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.55em; margin-top: -0.5em;
margin-bottom: -0.55em; margin-bottom: -0.5em;
} }
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: translate(0.2em, -0.05em); transform: translateX(0.2em);
} }