From 98dc7edd17b2f2e638bf30b6d6d4faa1123609db Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Thu, 19 Aug 2010 09:00:59 +0000
Subject: iasbelle-string-face: Remove italic from defaults because STIXRegular
 doesn't include italic variants of symbols, resulting in empty glyphs
 appearing on Mac OS X

---
 isar/isar-syntax.el | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'isar')

diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el
index f0edc3e8..4d9cba4b 100644
--- a/isar/isar-syntax.el
+++ b/isar/isar-syntax.el
@@ -285,9 +285,9 @@ matches contents of quotes for quoted identifiers.")
 
 (defface isabelle-string-face 
   (proof-face-specs
-   (:foreground "springgreen4" :italic t)
-   (:background "springgreen1" :italic t)
-   (:italic t))
+   (:foreground "springgreen4")
+   (:background "springgreen1")
+   ())
   "*Face for fontifying string contents in Isabelle."
   :group 'proof-faces)
 
-- 
cgit v1.2.3