@CHARSET "ISO-8859-1";

#intro {
	font-size: 0.9em;
}

#top {
	margin-top: 40px;
}