body {
  background: black;
  font-size: 110%;
  color: #80ff80;
  font-family: "Inconsolata", "Courier New", "Courier", monospace; }

textarea {
  background: black;
  font-size: 100%;
  color: #80ff80;
  font-family: "Inconsolata", "Courier New", "Courier", monospace;
  width: 600px;
  height: 300px;
  border: 1px solid #003300;
  margin: 1em; }

input[type=submit] {
  background: black;
  font-size: 100%;
  color: #80ff80;
  font-family: "Inconsolata", "Courier New", "Courier", monospace;
  border: 1px dashed #003300;
  clear: both;
  display: block;
  margin: 1em; }

div {
  margin: 1em; }