From 96ae6792b11e60ed344fde0da091ac0b71397761 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 31 Aug 2001 19:42:03 +0000
Subject: Add new proof-mouse-highlight-face to use instead of default.  Fix
 dependency faces.

---
 generic/proof-config.el | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 4b126744..1dec176f 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -516,9 +516,17 @@ Warning messages can come from proof assistant or from Proof General itself."
   "*Face for boring text in proof assistant output."
   :group 'proof-faces)
 
+(defface proof-mouse-highlight-face
+  (proof-face-specs
+   (:background "paleturquoise")
+   (:background "steelblue")
+   (:italic t))
+  "*General mouse highlighting face."
+  :group 'proof-faces)
+
 (defface proof-highlight-dependent-face
   (proof-face-specs
-   (:foreground "black")
+   (:background "orange")
    (:background "darkorange")
    (:italic t))
   "*Face for showing (backwards) dependent parts."
@@ -526,7 +534,7 @@ Warning messages can come from proof assistant or from Proof General itself."
   
 (defface proof-highlight-dependency-face
   (proof-face-specs
-   (:foreground "black")
+   (:background "khaki")
    (:background "peru")
    (:italic t))
   "*Face for showing (forwards) dependencies."
-- 
cgit v1.2.3