/*
#results {
  margin: 30px 0;
  min-height: 100px;
  background-color: #000;
  color: #9ff;
  padding: 15px;
  font-size: 80%;
  font-family: monospace;
}
*/

#data-input, #results {
  width: 100%;
  height: 200px;
  margin-bottom: 15px;
  font-size: 80%;
}

button{
    padding: 0.5em 1em;
	 border-radius: 0.4em;
     font-weight: bold;
}