'(agda2-highlight-bound-variable-face ((t (:foreground "Orange"))))
 '(agda2-highlight-datatype-face ((t (:foreground "keyboardFocusIndicatorColor"))))
 '(agda2-highlight-function-face ((t (:foreground "Green"))))
 '(agda2-highlight-inductive-constructor-face ((t (:foreground "Orange"))))
 '(agda2-highlight-keyword-face ((t (:foreground "windowFrameColor"))))
 '(agda2-highlight-module-face ((t (:foreground "controlLightHighlightColor"))))
 '(agda2-highlight-number-face ((t (:foreground "Orange"))))
 '(agda2-highlight-operator-face ((t (:foreground "Green"))))
 '(agda2-highlight-postulate-face ((t (:foreground "Orange"))))
 '(agda2-highlight-primitive-face ((t (:foreground "Orange"))))
 '(agda2-highlight-primitive-type-face ((t (:foreground "keyboardFocusIndicatorColor"))))
 '(agda2-highlight-record-face ((t (:foreground "keyboardFocusIndicatorColor"))))
 '(agda2-highlight-string-face ((t (:foreground "Orange"))))