leanprover
diff --git a/‎src/verso/Verso/Code/Highlighted.lean‎
Lines changed: 3 additions & 0 deletions b/‎src/verso/Verso/Code/Highlighted.lean‎
Lines changed: 3 additions & 0 deletions
@@ -817,6 +817,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 {
Original file line number	Diff line number	Diff line change
`@@ -817,6 +817,9 @@ def highlightingStyle : String := "`
`817`	`817`	`display: inline-grid;`
`818`	`818`	`grid-template-columns: 1fr;`
`819`	`819`	`vertical-align: top;`
	`820`	`+ /* Without these, mobile Safari will start making font sizes inconsistent when its text size adjustment feature is triggered.*/`
	`821`	`+ -webkit-text-size-adjust: 100%;`
	`822`	`+ text-size-adjust: 100%;`
`820`	`823`	`}`
`821`	`824`
`822`	`825`	`.hl.lean .tactic-toggle:checked ~ .tactic-state {`