.index_title {
	font-family: "Times New Roman", Times, serif;
	font-size: 30px;
	font-style: normal;
	font-weight: bold;
	color: #000000;
}
.index_doc-name {
	font-family: monospace;
	font-size: 14px;
	color: #FF0000;
	font-style: normal;
	font-weight: normal;
}
.blue {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 12px;
	color: #0000FF;
	background-color: #0000FF;
}