From a279d55729615a2ac5000e5fefe4c1dcd12f16b9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ren=C3=A9=20=27Necoro=27=20Neumann?= Date: Thu, 23 Sep 2010 02:12:56 +0200 Subject: Default emacs font --- .emacs | 1 + 1 file changed, 1 insertion(+) (limited to '.emacs') diff --git a/.emacs b/.emacs index cc807e7..66b3c1a 100644 --- a/.emacs +++ b/.emacs @@ -45,6 +45,7 @@ ;; 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 123 :width normal :foundry "unknown" :family "DejaVu Sans Mono")))) '(isabelle-free-name-face ((((type x) (class color) (background dark)) (:foreground "lightblue")))) '(isabelle-var-name-face ((((type x) (class color) (background dark)) (:foreground "lightblue3")))) '(linum ((t (:inherit (shadow default) :foreground "gold")))) -- cgit v1.2.3