Better color for search matches
xterm font to 12px