Change REPL font size

[pfitzseb]

Hm, very weird. One last thing you could try:

1. Go to the Atom Settings view
2. Click on Editor
3. Explicitly set the Font Family (and maybe Font Size) to something.