Computer Modern Mono proportional font