#editorcontainer #content {
  font-family: "Lucida Console", Consolas, Monaco, "Courier New", monospace;
  font-size: 90%;
}