From 9725868bdd8f2385b429da196ac2de7c69eb6f98 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ren=C3=A9=20Neumann?= Date: Wed, 5 Sep 2012 13:25:06 +0200 Subject: fix default font in emacs --- .emacs.d/custom.el | 1 - 1 file changed, 1 deletion(-) (limited to '.emacs.d') diff --git a/.emacs.d/custom.el b/.emacs.d/custom.el index b0eac92..ee87a4e 100644 --- a/.emacs.d/custom.el +++ b/.emacs.d/custom.el @@ -23,7 +23,6 @@ ;; 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 (: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 ((t (:foreground "grey21")))) '(isabelle-string-face ((((type x) (class color) (background dark)) (:foreground "cyan3")))) -- cgit v1.2.3