Made defface's work for dark background Emacsen (default for FSF on Linux).

1 files changed, 12 insertions, 4 deletions

diff --git a/generic/proof.el b/generic/proof.el
index 29098e33..d2aaff13 100644
--- a/generic/proof.el
+++ b/generic/proof.el
@@ -655,14 +655,22 @@ The argument KBL is a list of tuples (k . f) where `k' is a keybinding
 (make-variable-buffer-local 'proof-queue-span)
 
 (defface proof-queue-face
-  '((((type x) (class color))   (:background "mistyrose"))
-    (t				(:foreground "white" :background "black")))
+  '((((type x) (class color) (background light))
+     (:background "mistyrose"))
+    (((type x) (class color) (background dark))
+     (:background "mediumvioletred"))
+    (t				
+     (:foreground "white" :background "black")))
   "Face for commands in proof script waiting to be processed."
   :group 'proof)
 
 (defface proof-locked-face
-  '((((type x) (class color))   (:background "lavender"))
-    (t				(:underline t)))
+  '((((type x) (class color) (background light))   
+     (:background "lavender"))
+    (((type x) (class color) (background dark))   
+     (:background "navy"))
+    (t				
+     (:underline t)))
   "Face for locked region of proof script (processed commands)."
   :group 'proof)