chore: we are at jane street not ramp

This commit is contained in:
eggy
2025-10-18 00:00:42 +08:00
parent 004dd7b3be
commit 5cbaf3ff11
3 changed files with 6 additions and 3 deletions

View File

@@ -1,6 +1,6 @@
#let fa(name) = {
text(font: "Font Awesome 6 Free Solid", size: 10pt, box[ #name ])
text(font: "Font Awesome 7 Free Solid", size: 10pt, box[ #name ])
}
// Regular icons