diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2012-08-16 14:58:40 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2012-08-16 14:58:40 +0000 |
commit | 65100ddba0f7659fec9fed60b0d9839bf8fe38b8 (patch) | |
tree | c21e10136ad2ca50ed41c81c02031ea5d6b14fac /generic/proof-faces.el | |
parent | 04923bc857a797701849dedbfb412402be53fc27 (diff) |
Better colours on dark frames
Diffstat (limited to 'generic/proof-faces.el')
-rw-r--r-- | generic/proof-faces.el | 4 |
1 files 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) |