apparently I like the Inconsolata font now