From 6e88c1a696f0f05e2a4c27f3b96a21b882863c9b Mon Sep 17 00:00:00 2001
From: Alexander <mobotsar@pm.me>
Date: Wed, 11 Jun 2025 10:53:17 -0400
Subject: [PATCH] removed forced sans on quotes

---
 acl.cool/site/css-sample.dj | 2 +-
 css/looks.css               | 1 -
 2 files changed, 1 insertion(+), 2 deletions(-)

diff --git a/acl.cool/site/css-sample.dj b/acl.cool/site/css-sample.dj
index e571e5f..c5f00a1 100644
--- a/acl.cool/site/css-sample.dj
+++ b/acl.cool/site/css-sample.dj
@@ -30,7 +30,7 @@ theorem fuse {α β γ} : ∀ (xs : List α) (f : α → β) (g :β → γ),
     simp [map', ←IH, Function.comp]
 ```
 
-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)`.
+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.
 
diff --git a/css/looks.css b/css/looks.css
index f77b462..6679df9 100644
--- a/css/looks.css
+++ b/css/looks.css
@@ -61,7 +61,6 @@ h1 {
 }
 
 blockquote {
-  font-family: "BodySans";
   font-size: 1em;
   line-height: var(--ui-spacing);
   border-left: 4px solid var(--darkest-color);