[nongnu] elpa/gruber-darker-theme c7687ec051 114/121: Add basic Agda2 support

[ELPA Syncer]

branch: elpa/gruber-darker-theme
commit c7687ec0511941db1371dcd70b31061d74aa5668
Author: rexim <reximkut@gmail.com>
Commit: rexim <reximkut@gmail.com>

    Add basic Agda2 support
---
 gruber-darker-theme.el | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/gruber-darker-theme.el b/gruber-darker-theme.el
index 3a0f46c34e..203e676da8 100644
--- a/gruber-darker-theme.el
+++ b/gruber-darker-theme.el
@@ -68,6 +68,15 @@
   (custom-theme-set-faces
    'gruber-darker
 
+   ;; Agda2
+   `(agda2-highlight-datatype-face ((t (:foreground ,gruber-darker-quartz))))
+   `(agda2-highlight-primitive-type-face ((t (:foreground 
,gruber-darker-quartz))))
+   `(agda2-highlight-function-face ((t (:foreground ,gruber-darker-niagara))))
+   `(agda2-highlight-keyword-face ((t ,(list :foreground gruber-darker-yellow
+                                             :bold t))))
+   `(agda2-highlight-inductive-constructor-face ((t (:foreground 
,gruber-darker-green))))
+   `(agda2-highlight-number-face ((t (:foreground ,gruber-darker-wisteria))))
+
    ;; AUCTeX
    `(font-latex-bold-face ((t (:foreground ,gruber-darker-quartz :bold t))))
    `(font-latex-italic-face ((t (:foreground ,gruber-darker-quartz :italic 
t))))