From 44e57f1e2fceac5ccc67f5a246a95eec2fe9fe7b Mon Sep 17 00:00:00 2001
From: Makarius Wenzel <makarius@sketis.net>
Date: Mon, 7 Jul 2008 12:18:13 +0000
Subject: defface: using proof-face-specs makes faces appear on non-X11 window
 systems as well;

---
 isar/isar-syntax.el | 60 +++++++++++++++++++++--------------------------------
 1 file changed, 24 insertions(+), 36 deletions(-)

(limited to 'isar/isar-syntax.el')

diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el
index 2900d6f3..756b4bc2 100644
--- a/isar/isar-syntax.el
+++ b/isar/isar-syntax.el
@@ -308,62 +308,50 @@ matches contents of quotes for quoted identifiers.")
 ;; ----- Isabelle inner syntax hilite
 
 (defface isabelle-class-name-face
-  '((((type x) (class color) (background light))
-     (:foreground "red"))
-    (((type x) (class color) (background dark))
-     (:foreground "red3"))
-    (t
-     (bold t)))
+  (proof-face-specs
+   (:foreground "red")
+   (:foreground "red3")
+   (:bold t))
   "*Face for Isabelle term / type hiliting"
   :group 'proof-faces)
 
 (defface isabelle-tfree-name-face
-  '((((type x) (class color) (background light))
-     (:foreground "purple"))
-    (((type x) (class color) (background dark))
-     (:foreground "purple3"))
-    (t
-     (bold t)))
+  (proof-face-specs
+   (:foreground "purple")
+   (:foreground "purple3")
+   (:bold t))
   "*Face for Isabelle term / type hiliting"
   :group 'proof-faces)
 
 (defface isabelle-tvar-name-face
-  '((((type x) (class color) (background light))
-     (:foreground "purple"))
-    (((type x) (class color) (background dark))
-     (:foreground "purple3"))
-    (t
-     (bold t)))
+  (proof-face-specs
+   (:foreground "purple")
+   (:foreground "purple3")
+   (:bold t))
   "*Face for Isabelle term / type hiliting"
   :group 'proof-faces)
 
 (defface isabelle-free-name-face
-  '((((type x) (class color) (background light))
-     (:foreground "blue"))
-    (((type x) (class color) (background dark))
-     (:foreground "blue3"))
-    (t
-     (bold t)))
+  (proof-face-specs
+   (:foreground "blue")
+   (:foreground "blue3")
+   (:bold t))
   "*Face for Isabelle term / type hiliting"
   :group 'proof-faces)
 
 (defface isabelle-bound-name-face
-  '((((type x) (class color) (background light))
-     (:foreground "green4"))
-    (((type x) (class color) (background dark))
-     (:foreground "green"))
-    (t
-     (bold t)))
+  (proof-face-specs
+   (:foreground "green4")
+   (:foreground "green")
+   (:bold t))
   "*Face for Isabelle term / type hiliting"
   :group 'proof-faces)
 
 (defface isabelle-var-name-face
-  '((((type x) (class color) (background light))
-     (:foreground "darkblue"))
-    (((type x) (class color) (background dark))
-     (:foreground "blue3"))
-    (t
-     (bold t)))
+  (proof-face-specs
+   (:foreground "darkblue")
+   (:foreground "blue3")
+   (:bold t))
   "*Face for Isabelle term / type hiliting"
   :group 'proof-faces)
 
-- 
cgit v1.2.3