Ps eso que theme usas y como haces para tener ese tipo de letra, se hace dentro de las configuraciones del editor?

Ps eso que theme usas y como haces para tener ese tipo de letra, se hace dentro de las configuraciones del editor?