doc: in dev guide, avoid Goudy Old Style font

diff --git a/doc/dev-reference/_static/hyperscan.css b/doc/dev-reference/_static/hyperscan.css
index 581314ac2d3998a51bd4ecd55fd8834043aeedc8..c39ddd8d8b8b3bf1834edce854102cd478c3a13c 100644 (file)
--- a/doc/dev-reference/_static/hyperscan.css
+++ b/doc/dev-reference/_static/hyperscan.css
@@ -2,3 +2,9 @@
 .regexp {
   color: darkred !important;
 }
+
+/* Avoid (the alabaster theme default) Goudy Old Style, which renders in
+ * italics on some Mac/Safari systems. */
+body {
+    font-family: 'minion pro', 'bell mt', Georgia, 'Hiragino Mincho Pro', serif;
+}