.table-row-header {
	margin-top: 2ex;
	margin-bottom: 0.2ex;
}