body {
	background-color: rgb(223, 254, 223);
	color: #6e006eff;
}
div {
	text-align: center;
	margin-left: auto;
	margin-right: auto;
	width: 100%
}
h1 {
}
a {
}
nav {
	margin-left: auto;
	margin-right: auto;
	margin-bottom: 1.5em;
	text-align: center;
	font-size: 1.5em;
}
nav a {
	color: #6e006eff;
}
li {
	margin-bottom: 1em;
}
.otherinfo {
	width: 80%;
	text-align: left;
}
a.otherinfo {
	margin-bottom: 1em;
}
