td {
	font-size: 100%;
	}

th {
	text-align: left;
	padding-right: 0.5em;
	}

table.highlight tr.over th, table.highlight tr:hover th,
table.highlight tr.over td, table.highlight tr:hover td {
		background: #eaefef;
		}