/* Menu bar and title banner. */
div {
/*	background-color: yellow;
*/
	font-size: x-large;
	margin-bottom: 2ex;
}

div.menubar {
/*	background-color: red;
*/
	text-align: center;
	font-size: medium;
	margin-bottom: 2ex;
}

div.menubar a:hover {
	background-color: #f8ffd0;
}

div.menubar a {
	padding-left: 1ex;
	padding-right: 1ex;
}

div.sig {
	text-align: right;
	font-size: medium;
	margin: 0;
}

dd {
	margin-bottom: 2ex;
}



/* Announcements styling. */

hr {
	width: 50%;
}

h4 {
	margin-top: 3ex;
}

h4 + p {
	margin-left: 4ex;
}


/* FAQ styling. */

ol li:first-child {
	margin: 0;
}

ol li {
	margin-top: 2ex;
}

ol li * li {
	margin: 0;
}