body {
  color: black;
  font-family: Tahoma, sans-serif;
  background: white;
}

textarea {
  width: 100%;
  height: 30%;
}

pre {
  border: lightblue dashed 1px;
  padding: 0.5em;
  background: #cef;
}

#result {
  color: gray;
}

button {
  font-family: Tahoma, sans-serif;
  padding-top: 0.1em;
  padding-bottom: 0.2em;
}

#windowlength {
  text-align: right;
}