From 23fa0e33d8fa703d22b2b4f2d77fdba4f4f38325 Mon Sep 17 00:00:00 2001 From: Alexander Date: Sat, 21 Jun 2025 10:42:17 -0400 Subject: [PATCH] set math font --- acl.cool/site/css-sample.dj | 2 +- css/looks.css | 5 +++++ 2 files changed, 6 insertions(+), 1 deletion(-) diff --git a/acl.cool/site/css-sample.dj b/acl.cool/site/css-sample.dj index d9bd81d..a101fcd 100644 --- a/acl.cool/site/css-sample.dj +++ b/acl.cool/site/css-sample.dj @@ -32,7 +32,7 @@ theorem fuse {α β γ} : ∀ (xs : List α) (f : α → β) (g : β → γ), A simple proof of fusion for `List.map` in Lean 4. This and similar theorems are why pure languages like Lean and Haskell can transform e.g. `map f xs |> map g xs` into `map (fun x -> g (f x)) xs`, i.e. `map g . map f` into `map (g . f)`, reducing the number of times a structure must be iterated and thus improving spatial locality. -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. *** diff --git a/css/looks.css b/css/looks.css index b9d8108..6f42624 100644 --- a/css/looks.css +++ b/css/looks.css @@ -182,3 +182,8 @@ math[display="block"] { right: auto; text-align: left; } + +math { + color: black; + font-family: "Math"; +} \ No newline at end of file