Skip to content

Instantly share code, notes, and snippets.

@mietek

mietek/mi.el

Last active June 22, 2024 22:22
Show Gist options
  • Save mietek/5743e13b43a72750be2abe8ce8be2802 to your computer and use it in GitHub Desktop.
Save mietek/5743e13b43a72750be2abe8ce8be2802 to your computer and use it in GitHub Desktop.
Download ZIP
My color scheme for emacs-agda-mode
Raw
mi.el
(eval-after-load "agda2-mode" '(progn
(face-spec-set 'font-lock-comment-face '((((background light)) (:foreground "#999999")) (((background dark)) (:foreground "#666666"))) 'face-defface-spec)
(face-spec-set 'agda2-highlight-keyword-face '((((background light)) (:foreground "#666666")) (((background dark)) (:foreground "#999999"))) 'face-defface-spec)
(face-spec-set 'agda2-highlight-markup-face '((((background light)) (:foreground "#666666")) (((background dark)) (:foreground "#999999"))) 'face-defface-spec)
(face-spec-set 'agda2-highlight-operator-face '((((background light)) (:foreground "#666666")) (((background dark)) (:foreground "#999999"))) 'face-defface-spec)
(face-spec-set 'agda2-highlight-pragma-face '((((background light)) (:foreground "#666666")) (((background dark)) (:foreground "#999999"))) 'face-defface-spec)
(face-spec-set 'agda2-highlight-primitive-type-face '((((background light)) (:foreground "#666666")) (((background dark)) (:foreground "#999999"))) 'face-defface-spec)
(face-spec-set 'agda2-highlight-symbol-face '((((background light)) (:foreground "#666666")) (((background dark)) (:foreground "#999999"))) 'face-defface-spec)
(face-spec-set 'agda2-highlight-background-face '((((background light)) (:foreground "#000000")) (((background dark)) (:foreground "#ffffff"))) 'face-defface-spec)
(face-spec-set 'agda2-highlight-bound-variable-face '((((background light)) (:foreground "#000000")) (((background dark)) (:foreground "#ffffff"))) 'face-defface-spec)
(face-spec-set 'agda2-highlight-generalizable-variable-face '((((background light)) (:foreground "#000000")) (((background dark)) (:foreground "#ffffff"))) 'face-defface-spec)
(face-spec-set 'agda2-highlight-inductive-constructor-face '((((background light)) (:foreground "#00a59c")) (((background dark)) (:foreground "#9cd2cc"))) 'face-defface-spec)
(face-spec-set 'agda2-highlight-coinductive-constructor-face '((((background light)) (:foreground "#00a59c")) (((background dark)) (:foreground "#9cd2cc"))) 'face-defface-spec)
(face-spec-set 'agda2-highlight-datatype-face '((((background light)) (:foreground "#0066ff")) (((background dark)) (:foreground "#8bb8ff"))) 'face-defface-spec)
(face-spec-set 'agda2-highlight-function-face '((((background light)) (:foreground "#0066ff")) (((background dark)) (:foreground "#8bb8ff"))) 'face-defface-spec)
(face-spec-set 'agda2-highlight-macro-face '((((background light)) (:foreground "#0066ff")) (((background dark)) (:foreground "#8bb8ff"))) 'face-defface-spec)
(face-spec-set 'agda2-highlight-postulate-face '((((background light)) (:foreground "#0066ff")) (((background dark)) (:foreground "#8bb8ff"))) 'face-defface-spec)
(face-spec-set 'agda2-highlight-primitive-face '((((background light)) (:foreground "#0066ff")) (((background dark)) (:foreground "#8bb8ff"))) 'face-defface-spec)
(face-spec-set 'agda2-highlight-record-face '((((background light)) (:foreground "#0066ff")) (((background dark)) (:foreground "#8bb8ff"))) 'face-defface-spec)
(face-spec-set 'agda2-highlight-number-face '((((background light)) (:foreground "#9f00c5")) (((background dark)) (:foreground "#d197e6"))) 'face-defface-spec)
(face-spec-set 'agda2-highlight-string-face '((((background light)) (:foreground "#9f00c5")) (((background dark)) (:foreground "#d197e6"))) 'face-defface-spec)
(face-spec-set 'agda2-highlight-module-face '((((background light)) (:foreground "#9f00c5")) (((background dark)) (:foreground "#d197e6"))) 'face-defface-spec)
(face-spec-set 'agda2-highlight-field-face '((((background light)) (:foreground "#c00081")) (((background dark)) (:foreground "#e995bf"))) 'face-defface-spec)))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment