[nongnu] elpa/anti-zenburn-theme 5df9c7d 081/151: From zenburn-emacs: add proofgeneral faces.

[ELPA Syncer]

branch: elpa/anti-zenburn-theme
commit 5df9c7d9e1badf9898e3b98a180b5eb01d3f65c6
Author: Andrey Kotlarski <m00naticus@gmail.com>
Commit: Andrey Kotlarski <m00naticus@gmail.com>

    From zenburn-emacs: add proofgeneral faces.
---
 anti-zenburn-theme.el | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)

diff --git a/anti-zenburn-theme.el b/anti-zenburn-theme.el
index 36395a7..8f79906 100644
--- a/anti-zenburn-theme.el
+++ b/anti-zenburn-theme.el
@@ -684,6 +684,25 @@
    `(powerline-inactive1 ((t (:background ,azenburn-bg+1 :inherit 
mode-line-inactive))))
    `(powerline-inactive2 ((t (:background ,azenburn-bg+3 :inherit 
mode-line-inactive))))
 
+   ;; proofgeneral
+   '(proof-active-area-face ((t (:underline t))))
+   `(proof-boring-face ((t (:foreground ,azenburn-fg :background 
,azenburn-bg+2))))
+   '(proof-command-mouse-highlight-face ((t (:inherit 
proof-mouse-highlight-face))))
+   '(proof-debug-message-face ((t (:inherit proof-boring-face))))
+   '(proof-declaration-name-face ((t (:inherit font-lock-keyword-face 
:foreground nil))))
+   `(proof-eager-annotation-face ((t (:foreground ,azenburn-bg :background 
,azenburn-light-blue))))
+   `(proof-error-face ((t (:foreground ,azenburn-fg :background 
,azenburn-blue-4))))
+   `(proof-highlight-dependency-face ((t (:foreground ,azenburn-bg :background 
,azenburn-dark-blue-1))))
+   `(proof-highlight-dependent-face ((t (:foreground ,azenburn-bg :background 
,azenburn-light-blue))))
+   `(proof-locked-face ((t (:background ,azenburn-beige-5))))
+   `(proof-mouse-highlight-face ((t (:foreground ,azenburn-bg :background 
,azenburn-light-blue))))
+   `(proof-queue-face ((t (:background ,azenburn-blue-4))))
+   '(proof-region-mouse-highlight-face ((t (:inherit 
proof-mouse-highlight-face))))
+   `(proof-script-highlight-error-face ((t (:background ,azenburn-blue-2))))
+   `(proof-tacticals-name-face ((t (:inherit font-lock-constant-face 
:foreground nil :background ,azenburn-bg))))
+   `(proof-tactics-name-face ((t (:inherit font-lock-constant-face :foreground 
nil :background ,azenburn-bg))))
+   `(proof-warning-face ((t (:foreground ,azenburn-bg :background 
,azenburn-dark-blue-1))))
+
    ;; rainbow-delimiters
    `(rainbow-delimiters-depth-1-face ((t (:foreground ,azenburn-fg))))
    `(rainbow-delimiters-depth-2-face ((t (:foreground ,azenburn-violet+4))))