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;
}

code {
  font-size: larger;
}

em.code {
  font-weight: bold;
  color: darkred;
}