diff options
| -rw-r--r-- | generic/proof.el | 16 |
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) |