dotfiles

commit 8c61ec64478dd7e43f25a030a92ef7d721c71124
parent 67692f225cac1f89908cb158c10b8673b36bccd4
Author: Anders Damsgaard Christensen <adc@geo.au.dk>
Date:   Fri,  9 Sep 2016 10:44:37 -0700

decrease 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=12
-urxvt*boldfont: xft:PragmataPro:size=12: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