use the very nice ubuntu mono font