diff options
| -rw-r--r-- | isar/isar-syntax.el | 4 |
1 files changed, 2 insertions, 2 deletions
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) |