.head_text_box {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 12px;
	font-weight: bold;
	text-decoration: none;
	background-color: #000000;
	border: 1px solid #9900FF;
	color: #9966FF;
	height: auto;
	width: auto;
	padding: 1px 2px 2px;
	margin: 2px;
}
pre {
	font-family: "Courier New", Courier, monospace;
	font-size: 11px;
	font-weight: normal;
	color: #9900FF;
	text-decoration: none;
}
a {
	text-decoration: none;
}