.dnld {  font-weight: bold; color: navy; text-decoration: none}
.dnld:hover {  color: blue; text-decoration: underline}
.dim {  color: dimgray}
.MacroListing {  margin-left: 20px; margin-right: 20px; border: 1px black solid; padding-top: 5px; padding-right: 10px; padding-bottom: 5px; padding-left: 10px; background-color: #FFFFCC; margin-top: 30px}
code {  font-size: 11px}
.downloader {
	margin: 5px 10px 5px 10px;
	padding: 0px 10px 0px 10px;
	border: solid gray 1px;
}
.downloader p.head {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 16px;
	font-weight: bold;
	color: maroon;
	margin-top: 10px;
	margin-bottom: -10px;
}
.downloader p.disclaimer {
	color: crimson;
	font-weight: bold;
}