monaco font size 12.5 -> 13 in .Xresources