From b5544164f2065584fff41a005bb6c92010ef1442 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 31 Aug 2002 00:06:49 +0000
Subject: Try to reduce contrast for highlighting face

---
 generic/proof-config.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'generic')

diff --git a/generic/proof-config.el b/generic/proof-config.el
index de1c01bd..2d2da9fc 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -543,7 +543,7 @@ Warning messages can come from proof assistant or from Proof General itself."
 
 (defface proof-mouse-highlight-face
   (proof-face-specs
-   (:background "paleturquoise")
+   (:background "lightblue")
    (:background "darkslateblue")
    (:italic t))
   "*General mouse highlighting face."
-- 
cgit v1.2.3