@import "codemirror/lib/codemirror.css";
@import "codemirror/theme/seti.css";
@import "./menu.css";
body {
  font-size: 10px;
  font-family: sans-serif;
  margin: 0;
  padding: 0;
  position: absolute;
  width: 100%;
  height: 100%;
}

.CodeMirror {
  width: 100%;
  height: 100%;
}
textarea#text {
  background-color: #151718;
  width: 100%;
  height: 100%;
  border: none;
}

@import "codemirror/lib/codemirror.css";
@import "codemirror/theme/seti.css";
@import "./menu.css";
body {
  font-family: sans-serif;
  margin: 0;
  padding: 0;
  position: absolute;
  width: 100%;
  height: 100%;
}

.CodeMirror {
  width: 100%;
  height: 100%;
}
textarea#text {
  background-color: #151718;
  width: 100%;
  height: 100%;
  border: none;
}

Delete the 10px font size
Delete the 10px font size

This will probably need to be reinstated later once we start working on the text
rhythm of the page, but until then at least make things easy to read out of the
box.
