.keyword {
  color: purple;
}
.punctuator {
  color: #c00;
}
.identifier {
  color: black;
}
.functionName {
  font-size: 200%;
  color: #00c;
}
div {
  padding-left: 1rem;
  text-indent: -1rem;
}
html {
  font-size: 48pt;
  font-family: Arial, Helvetica, sans-serif;
  margin-left: 0.2rem;
}
div {
  margin: 0.5rem 0rem;
}