From 9c34c4957728363e9d81f5684df18d26cc3727c0 Mon Sep 17 00:00:00 2001 From: defanor Date: Wed, 3 Jan 2018 10:34:14 +0300 Subject: Add idris-mode faces --- .emacs.d/blueish-theme.el | 4 ++++ 1 file changed, 4 insertions(+) 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")))) ) -- cgit v1.2.3