#instructions {
	font-style: italic;
}
#sequence_num {
	font-size: 75%;
	font-style: italic;
	text-align: right;
//	background: #d9edf7;
}
#sequence_len {
	font-size: 75%;
	font-style: italic;
	text-align: right;
//	background: #d9edf7;
}

#numbers_display {
	font-size: 200%;
	font-style: bold;
	text-align: center;
}

#dev_incremental_results, #dev_received {
	font-size: 100%;
	font-style: italic;
}

table, tr {
	height: 40px; // slightly larger than the clock
}