New favorite font: Berkeley Mono