dotfiles

commit 2ed446f519c7faa1eca25866135d7d3dd8a8a0de
parent e09f7d172e237f9f80e43f614852f5248ca33770
Author: Anders Damsgaard <anders.damsgaard@geo.au.dk>
Date:   Thu, 10 Mar 2016 12:27:58 -0800

slightly increase terminal font size

Diffstat:
M
.Xresources
 | 
4
++--

1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/.Xresources b/.Xresources
@@ -85,8 +85,8 @@ URxvt.letterSpace: -2
 !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=11
-urxvt*boldfont: xft:PragmataPro:size=11:style=Bold
+urxvt*font: xft:PragmataPro:size=12
+urxvt*boldfont: xft:PragmataPro:size=12:style=Bold
 !urxvt*boldfont: xft:DejaVu Sans Mono Bold for Powerline:size=8
 
 ! shading: 0-99 darkens, 101-200 lightens