body {
  font-family: Menlo, Consolas, 'DejaVu Sans Mono', monospace;
}

textarea {
  font-size: 13px;
}