.j10 {
	font-size: 10px;
	line-height: 16px;
}
.j10b {
	font-size: 10px;
	font-weight: bold;
}
.j12 {
	font-size: 12px;
	line-height: 18px;
}
.12b {
	font-size: 11px;
	font-weight: bold;
}
p {
	margin: 10px 5px 5px 10px;
}
.idt15 {
	text-indent: 30px;
}


table.tested {
	width: 640px;
}

table.tested td {
	font-size: small;
	line-height: 120%;
}
table.tested td.name {
	border: 2px solid #ddd;
	border-width: 2px 0;
	margin: 5px auto;
}

table.testedlist {
}
table.testedlist th, table.testedlist td {
	font-size: small;
}
table.testedlist tr.header th {
	width: 150px;
	background-color: #FFCCCC;
}
table.testedlist th {
	background-color: #e7e7e7;
	vertical-align: top;
}