.highlight {
  padding:8px;
  background-color:#f0fff0;
  border:1px solid gray;
}

.terminal {
  padding:8px;
  background-color:black;
  color:#00c000;
}