rocq-prover
diff --git a/‎asset/css/alectryon.css‎
Lines changed: 1 addition & 1 deletion b/‎asset/css/alectryon.css‎
Lines changed: 1 addition & 1 deletion
diff --git a/‎asset/vendors/font-files/SourceCodePro-Black.ttf‎
-200 Bytes b/‎asset/vendors/font-files/SourceCodePro-Black.ttf‎
-200 Bytes
diff --git a/‎asset/vendors/font-files/SourceCodePro-Black.woff‎
-112 Bytes b/‎asset/vendors/font-files/SourceCodePro-Black.woff‎
-112 Bytes
diff --git a/‎asset/vendors/font-files/SourceCodePro-Black.woff2‎
36 Bytes b/‎asset/vendors/font-files/SourceCodePro-Black.woff2‎
36 Bytes
diff --git a/‎asset/vendors/font-files/SourceCodePro-BlackIt.ttf‎
-148 Bytes b/‎asset/vendors/font-files/SourceCodePro-BlackIt.ttf‎
-148 Bytes
diff --git a/‎asset/vendors/font-files/SourceCodePro-BlackIt.woff‎
-104 Bytes b/‎asset/vendors/font-files/SourceCodePro-BlackIt.woff‎
-104 Bytes
diff --git a/‎asset/vendors/font-files/SourceCodePro-BlackIt.woff2‎
4 Bytes b/‎asset/vendors/font-files/SourceCodePro-BlackIt.woff2‎
4 Bytes
diff --git a/‎asset/vendors/font-files/SourceCodePro-Bold.ttf‎
-220 Bytes b/‎asset/vendors/font-files/SourceCodePro-Bold.ttf‎
-220 Bytes
diff --git a/‎asset/vendors/font-files/SourceCodePro-Bold.woff‎
88 Bytes b/‎asset/vendors/font-files/SourceCodePro-Bold.woff‎
88 Bytes
diff --git a/‎asset/vendors/font-files/SourceCodePro-Bold.woff2‎
120 Bytes b/‎asset/vendors/font-files/SourceCodePro-Bold.woff2‎
120 Bytes
@@ -63,7 +63,7 @@ SOFTWARE.
 .alectryon-block, .alectryon-io,
 .alectryon-toggle-label, .alectryon-banner {
     font-family: 'Source Code Pro', monospace;
-    font-feature-settings: "dlig" 1 /* Rocq ligatures */, "COQX" 1 /* Coq ligatures */, "XV00" 1 /* Legacy */, "calt" 1 /* Fallback */;
+    font-feature-settings: "dlig" 1 /* Rocq ligatures */, "liga" 0 /* Standard ligatures */, "COQX" 1 /* Coq ligatures */, "XV00" 1 /* Legacy */, "calt" 1 /* Fallback */;
 }
 
 .alectryon-io, .alectryon-block, .alectryon-toggle-label, .alectryon-banner {
Original file line number	Diff line number	Diff line change
`@@ -63,7 +63,7 @@ SOFTWARE.`
`63`	`63`	`.alectryon-block, .alectryon-io,`
`64`	`64`	`.alectryon-toggle-label, .alectryon-banner {`
`65`	`65`	`font-family: 'Source Code Pro', monospace;`
`66`		`- font-feature-settings: "dlig" 1 /* Rocq ligatures /, "COQX" 1 / Coq ligatures /, "XV00" 1 / Legacy /, "calt" 1 / Fallback */;`
	`66`	`+ font-feature-settings: "dlig" 1 /* Rocq ligatures /, "liga" 0 / Standard ligatures /, "COQX" 1 / Coq ligatures /, "XV00" 1 / Legacy /, "calt" 1 / Fallback */;`
`67`	`67`	`}`
`68`	`68`
`69`	`69`	`.alectryon-io, .alectryon-block, .alectryon-toggle-label, .alectryon-banner {`