Bright Monokai theme by default
Explicitly set font size