/*-----------------------------
 * labels
 *-----------------------------*/
td.labels {
	font-size:			87.5%;
	width:				100%;
	vertical-align:		top;
}

div.labels {
	padding-left:		20px;
}

.labels pre {
	font-family:		Consolas,'Lucida Console','DejaVu Sans Mono',monospace;
	font-size:			80%;
}