From 544f8fa496fd035398bd09e87b8023bf8cbc8cab Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 3 Aug 2008 20:51:50 +0000
Subject: Make proof-locked-face much lighter

---
 generic/proof-config.el | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 6c742246..b83ca8e8 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -473,10 +473,7 @@ not listed here, you may not get the correct syntax colouring behaviour.")
   (proof-face-specs
    ;; This colour is quite subjective and may be best chosen according
    ;; to the type of display you have.
-   ;; PG 3.3: lavender, later "lightcyan"
-   ;; PG 3.4,3.5: lightsteelblue (stronger colour, more visible on data projectors)
-   ;; PG 4.0: lightsteelblue1 (lighter again, even than lavender)
-   (:background "lightsteelblue1")
+   (:background "#eaf8ff")
    (:background "darkblue")
    (:underline t))
   "*Face for locked region of proof script (processed commands)."
-- 
cgit v1.2.3