body {
	margin-left: 15%;
	margin-right: 12%;
	background-image: url(background.gif);
	font-family: Arial, Helvetica, sans-serif;
	font-size: 14px;
	text-align: justify; 
	}
.REX {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 14px;}
.REXTitle {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 34px;
	text-align: center; }
.REXTitleMini {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 20px;
	font-weight: normal; }
	
A:link { color: #004080; text-decoration: underline; } 
A:visited { color: #004080; text-decoration: underline; }
A:active { background-color: #004080; color: #ffffff;  text-decoration: underline; }
A:hover { background-color: #004080; color: #ffffff; text-decoration: underline; }

.lastrevised {
	text-align: right;
	font-family: Arial, Helvetica, sans-serif;
	font-size: 14px;}		
.musts {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 14px;
	text-align: justify; }
.mustsbox {
	word-spacing: 2pt;
	padding: 3px;
	border: 1px solid; }
.cmd {
	color: #004080; }
.codecdata { margin-top: 0; margin-bottom: 0; }