Use PTMono 13
Update colors
Use font size 12.5