BODY {
	font-size: 16px;
	line-height: 1.5;
	background-color: rgba(249, 249, 249, .3);
}

body, div.body {margin: 0 auto;}
div.body {max-width: 910px;}

h1, h2 {
	font-style: normal;
	color: #000080;
	font-family: "Segoe UI Semilight", Geneva, Verdana, sans-serif;
	font-weight: 300;
}

p, ul {
	font-family: Arial, Geneva, Verdana, sans-serif;
	font-size: 1.1em;
	margin-bottom: 11px;
	letter-spacing: .15px;
}

h1 {
	font-size: 2em;
	margin-bottom: 16px;
	padding-bottom: 2px;
}

h2 {
	font-size: 1.25em;
    margin-bottom: 8px;
	border-bottom: 1px solid #000080;
}

table {
	border: 1px solid #ff0000;
	padding: 4px;
	font-size: .85em;
	border-spacing: 3px;
	margin: 20px auto;
}


th,
td {
	font-family: Tahoma, Arial, sans-serif;
	padding: 3px 5px;
	border: 1px solid #DEE4F0;
	text-align: left;
	letter-spacing: .2px;
}

tr:nth-child(even) {background-color: rgba(233, 226, 219, 0.2);}
tr:hover {
	background: rgba(205, 218, 176, 0.35);
}

span.highlight {
	font-weight: 600;
	display: inline-block;
	padding: 4px 5px;
	background-color: rgba(214, 196, 196, 0.18);
	border-radius: 8px;
}
span.teal, td.renamed {
	color: #008080;
}