body {
	background: #F5FAFF;
	font-family: sans-serif;
	padding: 0 2.5%;
}

h1	{
	font-size: 150%;
	text-align: center;
	margin: 1em 0 1.5em;
}

div.name {
	font-size: 110%;
	font-weight: 600;
}

div.filenames {
	display: none ;
}

table {
	font-size: 90%;
	width: 100%;
	margin-bottom: 2em;
}

tr.match {
	color: black;
}

tr.modify td {
	border-color: #0020F0;
}

tr.add td {
	border-color: #F02000;
}

tr.remove td {
	border-color: #00A000;
}

th {
	font-weight: 400;
}

td {
	background: #FFFFFF;
	text-align: left;
	border: solid 1px;
	padding: 0.15em 0.5em;
}