body { font-family: Times; }

code { font-size: large; font-weight: bold }

.boldedlist { margin-bottom: 1em }

.hidden { display: none }

.menu { display: none }

.menu li { display: none }

.menu h1 { display: none }

.footer {
	border-top: 1px solid #778;
	margin-top: 1em;
	text-align: left;
}

a { text-decoration: none; color: black }