From f872ee75171f88a59cec2e3ffdc36ad02d270b17 Mon Sep 17 00:00:00 2001 From: Ryan Kavanagh Date: Mon, 2 Oct 2017 11:09:36 -0400 Subject: Change default emacs font --- .emacs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.emacs b/.emacs index e4c25aa..f2581af 100644 --- a/.emacs +++ b/.emacs @@ -219,7 +219,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 (:family "Inconsolata" :foundry "unknown" :slant normal :weight normal :height 83 :width normal)))) + '(default ((t (:family "Input Mono" :foundry "FBI " :slant normal :weight normal :height 89 :width normal)))) '(proof-locked-face ((t (:weight bold))) t)) ;;; Others -- cgit v1.2.3