I use 13 with "Ubuntu Mono" font family. I think it's worth mentioning font-family. Consider readability, height etc. of fonts.