Use monospace
13px is more visible
Apply the solarized dark theme