/* HTML */

.sh_html_doctype {
	color: #800000;
	font-weight: bold;
}
.sh_html_tag {
	font-weight: bold;
}
.sh_html_attribute {
	color: #008000;
}
.sh_html_value {
	color: #aa0000;
}