.comment {
  color: green;  
  white-space: nowrap;
}
.section {
  color: blue;
}
.brace {
  color: red;
}
.keyword {
  color: grey;
}
.argument {
  color: brown;
}
.copy {
  font-size: x-small;
  color: #909090;
  text-align: center;
  margin: -0.2em 0.2em 0em 0.2em;
  padding: 0em 0em 0em 1em;
}
.copy a {
  color: #c30;
  text-decoration: none;
}
.copy a:hover {
  color: #c30;
  text-decoration: underline;
}
.copy a:visited {
  text-decoration: none;
  color: #669;
}
.copy a:visited:hover {
  text-decoration: underline;
}