From 0517033d0463c272da00d4af5209699ccf29f059 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 11 Aug 2010 17:16:51 +0000
Subject: Experiment with default string font being italic, to match STIX
 italic.

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

(limited to 'isar')

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