body
{
	background-color: #eeeeee;
	font-size: 120%;
	padding: 10px 10px 10px 10px;
	max-width: 1000px;
	margin-left: auto;
	margin-right: auto;
}

h1
{
	font-family: "Times New Roman", serif;
	font-size: 200%;
}

h2
{
	font-size: 175%;
}

a
{
	color: #092296;
}

.container
{
	background-color: white;
	padding: 4px 20px 10px 20px;
}

.menu ul
{
	list-style-type: none;
	padding: 0px;
	margin: 0px;
}

.menu ul li
{
	padding: 10px 10px;
	margin-bottom: 2px;
	border-width: 1px;
	border-style: solid;
	background-color: #058AFF;
	display: inline-block;
	width: 100%;
	max-width: 160px;
	text-align: center;
}

.menu ul li a
{
	color: white;
	font-size: 150%;
}

.toc
{
	background: #EEF;
	font-size: 135%;
	max-width: 450px;
	padding: 6px;
	border: 1px;
	border-style: solid;
	border-color: #BBF;
}

button {
	padding: 4px;
	font-size: 120%;
}

footer
{
	font-size: 80%;
}