This repository has been archived by the owner on Feb 20, 2022. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathdemo-env.el
43 lines (39 loc) · 2.38 KB
/
demo-env.el
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
(custom-set-faces
'(default ((t (:stipple nil :background "white"
:foreground "black" :inverse-video nil
:box nil :strike-through nil
:overline nil :underline nil
:slant normal :weight normal
:height 220 :width normal :family "apple-monaco"))))
'(font-lock-comment-face ((t :foreground "black" :italic t)))
'(font-lock-builtin-face ((t :foreground "blue" :underline nil :bold nil)))
'(font-lock-keyword-face ((t (:foreground "blue" :bold t))))
'(font-lock-function-name-face ((t (:foreground "red" :inverse-video nil))))
'(font-lock-string-face ((t (:foreground "firebrick"))))
'(font-lock-type-face ((t (:foreground "red" :underline nil :bold nil))))
'(font-lock-variable-name-face ((t (:foreground "black" :bold nil))))
; '(font-lock-variable-name-face ((t (:foreground "purple" :bold nil))))
'(font-lock-warning-face ((t (:bold t))))
'(proof-locked-face ((t (:background "lightblue"))))
'(proof-queue-face ((((type mac) (class color) (background dark)) (:background "lightblue"))))
'(proof-error-face ((t (:foreground "red" :underline nil :bold nil))))
'(proof-tactics-name-face ((((type mac) (class color) (background dark)) nil))))
;; (custom-set-variables
;; ;; custom-set-variables was added by Custom.
;; ;; If you edit it by hand, you could mess it up, so be careful.
;; ;; Your init file should contain only one such instance.
;; ;; If there is more than one, they won't work right.
;; )
;; (custom-set-faces
;; ;; custom-set-faces was added by Custom.
;; ;; If you edit it by hand, you could mess it up, so be careful.
;; ;; Your init file should contain only one such instance.
;; ;; If there is more than one, they won't work right.
;; '(default ((t (:stipple nil :background "DarkSlateGray" :foreground "wheat" :inverse-video nil :box nil :strike-through nil :overline nil :underline nil :slant normal :weight normal :height 190 :width normal :family "apple-monaco"))))
;; '(font-lock-builtin-face ((t :foreground "red" :underline nil :bold nil)))
;; '(font-lock-function-name-face ((t (:foreground "gold" :inverse-video nil))))
;; '(font-lock-keyword-face :foreground nil :bold)
;; '(font-lock-string-face ((t (:foreground "LightSalmon"))))
;; '(font-lock-type-face ((t (:foreground "green" :underline nil :bold nil))))
;; '(font-lock-variable-name-face ((t (:foreground "gold" :bold nil))))
;; '(font-lock-warning-face ((t (:bold t :foreground "IndianRed"))))