Setting a smaller default xterm font