body {
	margin: 0 auto 12px auto;
}
.smaller {
	font-size: 90%;
	}
.larger {
	font-size: 110%;
	}
.indent {
	margin-left: 36px;
	}
.highlightred {
	color: #c11b17;
	}
a:link { 

/*	font-weight: bold; */

	text-decoration: none; 

	color: #06c;

	}

a:visited { 

/*	font-weight: bold;*/

	text-decoration: none; 

	color: #39f;

	}

a:hover, a:active { 

	text-decoration: underline; 

	color: #f03;

	}