pre {
	text-align: left;
}
code {
	font-size: 120%;
	font-family: "Courier New", Courier, monospace;
}
code.small {
	font-size: 105%;
}
.strike {
  text-decoration: line-through;
  color: red;
}
code strong {
	background-color: White;
	font-weight: inherit;
}

.comment {
	color: #003E01;
	font-style: italic;
	font-weight: normal;
}

.reservedword {
	color: #8B0000;
	font-weight: bold;
}
.non-reservedkeyword {
	color: #8B0000;
}
.symbol {
	color:#800000;
	font-weight: bold;
}
.identifier {
	color: Black;
}
.value {
	color: #660000;
}
.value b {
	color: #8B0000;
}

.colorvalue {
	color: #590000;
}

.space {

}
.text {
  color: black;
}
.word {
	font-style: italic;
}
.variable {
  color: #471107;
}
.operator {
  color: black;
}