body {
	/* font-size: 13px; */ /* This would change 12.8 to 13. Would anyone notice? */
}

#content a, a.fscopy {
	text-decoration: underline;
}

#content a.nolink {
	text-decoration: none;
}

#content a.nolink:hover {
	color: Black;
}

#content p { /* original settings */
	margin: 1em 0px; 
	padding-bottom: 0px;
}