summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authordefanor <defanor@uberspace.net>2018-01-03 10:34:14 +0300
committerdefanor <defanor@uberspace.net>2018-01-03 10:34:14 +0300
commit9c34c4957728363e9d81f5684df18d26cc3727c0 (patch)
treea4560dbe7e9cc775b8f2b946654759381b9d3d8c
parent81e6957bad029497c061f15d30955faea939466e (diff)
downloaddefanor-dotfiles-9c34c4957728363e9d81f5684df18d26cc3727c0.zip
defanor-dotfiles-9c34c4957728363e9d81f5684df18d26cc3727c0.tar.gz
defanor-dotfiles-9c34c4957728363e9d81f5684df18d26cc3727c0.tar.bz2
Add idris-mode faces
-rw-r--r--.emacs.d/blueish-theme.el4
1 files changed, 4 insertions, 0 deletions
diff --git a/.emacs.d/blueish-theme.el b/.emacs.d/blueish-theme.el
index 0544256..6a5054b 100644
--- a/.emacs.d/blueish-theme.el
+++ b/.emacs.d/blueish-theme.el
@@ -72,6 +72,10 @@
'(w3m-form-button ((t (:background "#363b40" :foreground "#c0c4c8" :box (:line-width 2 :color "#202020" :style released-button)))))
;; w3m-haddock
'(w3m-haddock-heading-face ((t (:background "#1b2025"))))
+ ;; idris-mode
+ '(idris-semantic-data-face ((t (:foreground "#f99"))))
+ '(idris-semantic-function-face ((t (:foreground "#de8"))))
+ '(idris-semantic-bound-face ((t (:foreground "#a9d"))))
)