From aa4b525344c4d80f8a196c9b92ded1c100963458 Mon Sep 17 00:00:00 2001
From: David Thrane Christiansen <david@davidchristiansen.dk>
Date: Thu, 24 Jul 2025 15:41:16 +0200
Subject: [PATCH] fix: mobile Safari rendering issue

---
 src/verso/Verso/Code/Highlighted.lean | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/verso/Verso/Code/Highlighted.lean b/src/verso/Verso/Code/Highlighted.lean
index f928d2712..09454a572 100644
--- a/src/verso/Verso/Code/Highlighted.lean
+++ b/src/verso/Verso/Code/Highlighted.lean
@@ -781,6 +781,9 @@ def highlightingStyle : String := "
   display: inline-grid;
   grid-template-columns: 1fr;
   vertical-align: top;
+  /* Without these, mobile Safari will start making font sizes inconsistent when its text size adjustment feature is triggered.*/
+  -webkit-text-size-adjust: 100%;
+  text-size-adjust: 100%;
 }
 
 .hl.lean .tactic-toggle:checked ~ .tactic-state {