hr {
	border: 2px solid #CEBE94;
}
.footerImage {
	text-align: right;
}
body {
	font-family: Verdana;
	margin-right: 10%;
	margin-left: 10%;
}
pre {
	font-family: "Courier New", Courier, mono;
}
.svn {
	text-align: right;
}
h2 {
	border-bottom-width: 4px;
	border-bottom-style: dotted;
	border-bottom-color: #aaaaaa;
	clear: both;
}
.fig {
	border: 1px solid #666666;
	float: right;
	padding: 6px;
	margin: 6px;
	text-align: center;
}

.leftFig {
/*	float: left; */
	padding: 6px;
	margin: 6px;
/*	text-align: center; */
}

.caption {
	font-size: small;
}


.example {
/*	border: 1px solid #666666; */
	padding: 6px;
	margin: 6px;
}

.exampleImg {
	border: 1px solid #666666;
	padding: 6px;
}

.tick {
	border: 0px;
}

ADDRESS { font-family: Helvetica; font-style: normal; margin: 0;  text-align: right }