body {
	background-color: #FFFF99;
	margin-left: 12px;
	margin-top: 12px;
	margin-right: 12px;
	margin-bottom: 12px;
	font-family: sans-serif;
}

body.centered {
	text-align: center;
}

body.centered table {
	margin-left: auto;
	margin-right: auto;
}

body.big p,ol {
	font-size: 1.25em;
}

h1,h2 {
	font-family: sans-serif;
	text-decoration: none;
	margin: 0;
	padding: 0;
	margin-top: 1em;
	margin-bottom: 0.25em;
	color: rgb(0, 0, 102);
}

h1 {
	font-size: 2em;
}

h2 {
	font-size: 1.25em;
}