/* CSS Document */
a:active, a:focus {
      outline: 0;
      }

	body {
	margin:0px;
	padding:0px;
	background: #063359 url(/%7Ealanon/images/layout/41original2.gif);
		}
	
#bodyarea {
	background: #FFFFFF;
	display: block;
	margin: 15px auto;
	/*min-width:777px;*/
	width:980px;
	border: 4px solid #96d9a6;
}

	#leftcontent {
	/*position: absolute;
		left:35px;
		top:170px;*/
		width:180px;
	background:#fff;
	/*min-height: 1100px;*/
	float:left;
	margin-top: 15px;
	margin-left: 15px;
		}

	#centercontent {
		/*min-height: 1100px;*/
		width:540px;
		background:#fff;
		float:left;
		margin-left: 15px;
   		/*top:155px;
		margin-left: 229px;
   		margin-right:329px;
		voice-family: "\"}\"";
		voice-family: inherit;
   		margin-left: 241px;
   		margin-right:231px;*/
		}
	/*html>body #centercontent {
   		margin-left: 241px;
   		margin-right:231px;
		}*/

	#rightcontent {
		/*position: absolute;
		right:35px;
		top:170px;*/
		width:200px;
	    margin-left: 10px;
		font-size: 80%;
		float:right;
	margin-top: 15px;
	margin-right: 20px;
	text-align: left;
		}
	
	#banner {
		display: block;
		background: #EBFEEE url(../images/layout/topgrad.gif) repeat-x 350px;
		height: 127px;
		padding: 0px;
		voice-family: "\"}\"";
		voice-family: inherit;
		height:127px;
		}
	html>body #banner {
		height:127px;
		}

#banner div {
	display: block;
	height: 127px;
	background: url(../images/layout/city.jpg) no-repeat 265px top;
}

	p,h1,pre {
		margin:0px 10px 10px 10px;
		}
			
	#banner h1 {
		font-size:14px;
		padding:10px 10px 0px 10px;
		margin:0px;
		}
	
	#rightcontent p {
	font-size:100%;
	text-align: center;
	line-height: 120%;
		}
				
#topmenu {
	background: #356288 url(../images/layout/topbutton1.gif) repeat-x;
	border-top: 1px solid #ffffff;
	border-bottom: 4px solid #96D9A6;
}
.reprinted {
	font-size: 80%;
	font-style: italic;
	text-align: center;
}
.redbold {
	font-weight: bold;
	color: #990000;
}

.small {font-size: 85%}

ul, ul ul, ul li, ul ul li {
margin-top: 0px;
margin-bottom: 0px;
padding-bottom: 0px;
}
.highlight {
	background: #FFFF33;
}