dbo
/
.emacs.d
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Decrease default font height

master
Daniel Borchmann 2020-12-04 17:40:55 +01:00
parent 8fba9cad3b
commit ea4a165897
No known key found for this signature in database
GPG Key ID: 1C7071A75BB72D64
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
themes/db-dark-theme.el
View File

@ -28,7 +28,7 @@ Known to work well with the `solarized-dark’ theme.")
'(gnus-summary-high-unread ((t (:foreground "#839496" :weight normal))))
'(gnus-summary-low-ancient ((t (:foreground "dim gray"))))
'(gnus-summary-low-unread ((t (:foreground "dim gray"))))
'(default ((t (:height 115 :family "DejaVu Sans Mono"))))
'(default ((t (:height 107 :family "DejaVu Sans Mono"))))
'(fixed-pitch ((t (:family "DejaVu Sans Mono"))))
'(variable-pitch ((t (:weight normal :height 1.3 :family "Bitstream Vera Serif")))))

2
themes/db-light-theme.el
View File

@ -28,7 +28,7 @@
'(gnus-summary-high-unread ((t (:foreground "#839496" :weight normal))))
'(gnus-summary-low-ancient ((t (:foreground "dim gray"))))
'(gnus-summary-low-unread ((t (:foreground "dim gray"))))
'(default ((t (:height 115 :family "DejaVu Sans Mono"))))
'(default ((t (:height 107 :family "DejaVu Sans Mono"))))
'(fixed-pitch ((t (:family "DejaVu Sans Mono"))))
'(variable-pitch ((t (:weight normal :height 1.3 :family "Bitstream Vera Serif")))))