summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--.emacs2
1 files changed, 1 insertions, 1 deletions
diff --git a/.emacs b/.emacs
index 339d4df..61d2b51 100644
--- a/.emacs
+++ b/.emacs
@@ -46,7 +46,7 @@
;; If there is more than one, they won't work right.
'(default ((t (:inherit nil :stipple nil :background "Grey15" :foreground "Grey" :inverse-video nil :box nil :strike-through nil :overline nil :underline nil :slant normal :weight normal :height 113 :width normal :foundry "unknown" :family "Inconsolata"))))
'(isabelle-free-name-face ((((type x) (class color) (background dark)) (:foreground "lightblue"))))
- '(isabelle-quote-face ((((type x) (class color) (background dark)) (:foreground "cyan3"))))
+ '(isabelle-quote-face ((t (:foreground "grey21"))))
'(isabelle-string-face ((((type x) (class color) (background dark)) (:foreground "cyan3"))))
'(isabelle-var-name-face ((((type x) (class color) (background dark)) (:foreground "lightblue3"))))
'(linum ((t (:inherit (shadow default) :foreground "gold"))))