dotfiles

commit 235fe4041d53376e07fa6ae2020af67fbbd287f2
parent d2099745336cd5c04197bc7a129fd775a06855bd
Author: Anders Damsgaard <anders.damsgaard@geo.au.dk>
Date:   Mon,  7 Mar 2016 10:07:54 -0800

further increase terminal font size

Diffstat:
M
.Xresources
 | 
4
++--

1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/.Xresources b/.Xresources
@@ -84,8 +84,8 @@ URxvt.letterSpace: -1
 !urxvt*boldfont: -*-termsynu-bold-r-*-*-13-*-*-*-*-*-*-*
 !urxvt*font: xft:DejaVu Sans Mono for Powerline:size=8
 !urxvt*boldfont: xft:DejaVu Sans Mono for Powerline:size=8
-urxvt*font: xft:PragmataPro:size=10
-urxvt*boldfont: xft:PragmataPro:size=10:style=Bold
+urxvt*font: xft:PragmataPro:size=11
+urxvt*boldfont: xft:PragmataPro:size=11:style=Bold
 !urxvt*boldfont: xft:DejaVu Sans Mono Bold for Powerline:size=8
 
 ! shading: 0-99 darkens, 101-200 lightens