body {
	/* margin-top: 100px; */
	margin-left: 10;
	margin-right: 10;
	background-color: #FFFFFF;
	/*text-align: center;*/
}
.headerlinks > * {
	display: inline;
	font-family: mono;
}
.notify {
	min-height: 20px;
	height: auto;
	max-width: 295px;
	/*visibility: hidden;*/
	padding-left: 5px;
}