html {
	visibility: visible;
}
.alt-index-body {
	padding-top: 35px;
	background-color: #EFF7F7;
}
.alt-index-body a {
	text-decoration: underline;
	color: #336633;
}