switch monospaced font from Ubuntu Mono to PT Mono