@charset "utf-8";
/* CSS Document */

body{
	font-family: 'Noto Serif', serif;
}

h2{
	color: rgb(9, 9, 150);
	font-size: 2.5em;
	font-weight: bold;
}

#content{
	max-width: 1200px;
	margin-left: auto;
	margin-right: auto;
	margin-top: 0px;
	padding-top: 0px;
	padding-bottom: 20px;
}

#top-navbar a{
	font-weight: bold;
	color: rgb(48, 48, 48);	
}

.bodytext{
	font-size: 1.25em;
	line-height: 1.5em;
}


.toctable td{
	border: 10px;
	font-size: 1.25em;
	padding: 5px;
}

footer{
	background-color: rgb(9, 9, 150);
	position:absolute;
	padding:15px 5px 15px 5px;
    margin-bottom:0px;
    margin-top: 50px;
    width: 100%;
    color: white;
    text-align: left;
}

footer p{
	color: white;
}

footer a{
	color: white;
}