[nongnu] elpa/anti-zenburn-theme 4edc7e7 079/151: From zenburn-emacs: add coq faces.

[ELPA Syncer]

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

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

diff --git a/anti-zenburn-theme.el b/anti-zenburn-theme.el
index dcf8fb1..7c4705c 100644
--- a/anti-zenburn-theme.el
+++ b/anti-zenburn-theme.el
@@ -213,6 +213,9 @@
    `(clojure-test-error-face ((t (:foreground ,azenburn-blue :weight bold 
:underline t))))
    `(clojure-test-success-face ((t (:foreground ,azenburn-violet+1 :weight 
bold :underline t))))
 
+   ;; coq
+   '(coq-solve-tactics-face ((t (:foreground nil :inherit 
font-lock-constant-face))))
+
    ;; ctable
    `(ctbl:face-cell-select ((t (:background ,azenburn-beige :foreground 
,azenburn-bg))))
    `(ctbl:face-continue-bar ((t (:background ,azenburn-bg-05 :foreground 
,azenburn-bg))))