branch: elpa/anti-zenburn-theme
commit 4edc7e74a9d622ec75dcff63673a110a76997261
Author: Andrey Kotlarski <[email protected]>
Commit: Andrey Kotlarski <[email protected]>
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))))
