From 65100ddba0f7659fec9fed60b0d9839bf8fe38b8 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 16 Aug 2012 14:58:40 +0000
Subject: Better colours on dark frames

---
 generic/proof-faces.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/generic/proof-faces.el b/generic/proof-faces.el
index 671e1596..86cf7f0d 100644
--- a/generic/proof-faces.el
+++ b/generic/proof-faces.el
@@ -64,7 +64,7 @@ not listed here, you may not get the correct syntax colouring behaviour.")
 (defface proof-queue-face
   (proof-face-specs
    (:background "mistyrose") ;; was "darksalmon" in PG 3.4,3.5
-   (:background "mediumvioletred")
+   (:background "mediumorchid")
    (:foreground "white" :background "black"))
   "*Face for commands in proof script waiting to be processed."
   :group 'proof-faces)
@@ -74,7 +74,7 @@ not listed here, you may not get the correct syntax colouring behaviour.")
    ;; This colour is quite subjective and may be best chosen according
    ;; to the type of display you have.
    (:background "#eaf8ff")
-   (:background "darkblue")
+   (:background "darkslateblue")
    (:underline t))
   "*Face for locked region of proof script (processed commands)."
   :group 'proof-faces)
-- 
cgit v1.2.3