diff options
| -rw-r--r-- | generic/proof-config.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index dde147d0..0fd982ad 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -513,7 +513,7 @@ both XEmacs 20.4 and Emacs 20.3's version of font-lock.") (defface proof-error-face (proof-face-specs - (:background "salmon1" :bold t) + (:background "firebrick1" :bold t) (:background "brown" :bold t) (:bold t)) "*Face for error messages from proof assistant." |