body  {
	font-family: monospace, sans-serif;
  font-weight: bold;
  font-size: 13px;
	color: #000000;
}

.attributeValue  {
	color: rgb(0, 128, 0);
}

.attributeName  {
	color: rgb(0, 0, 255);
}

.tag  {
  background-color: rgb(239, 239, 239);
}

.tagName  {
	color: rgb(0, 0, 128);
}

.comment  {
  font-weight: normal;
  font-style: italic;
  color: rgb(128, 128, 128);
}

.package  {
  margin-top: 15px;
  margin-bottom: 2px;
  font-family: verdana, arial;
  font-size: 12px;
  font-weight: bold;
  font-style: italic;
  color: rgb(0, 128, 0);
}