diff options
Diffstat (limited to 'generic')
| -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 24ab08d5..8f98033d 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -383,7 +383,7 @@ The protocol used should be configured so that no user interaction (defface proof-locked-face '((((type x) (class color) (background light)) - (:background "lavender")) + (:background "lightsteelblue2")) ; was "lavender" (((type x) (class color) (background dark)) (:background "navy")) (t |