.string {
  color: blue;
}

.expr {
  color: red;
}

/*

.punct {
  color: red;
}

.escape {
  color: green;
}

.comment {
  color: grey;
}

.ident {
  color: brown;
}

.constant {
  color: yellow;
}
*/
.source {
  padding: 5px;
  padding-left: 1em;
  margin: 5px;
	background-color: #f8f0f0;
	border: 1px dotted #333;
}

.source-footer {
  font-size: smaller;
  font-weight: bold;
  text-align: right;
}