div.local {
	font-size: 0.8em;
	border: 1px solid #3c5132;
	width:30%;
	float: right;
	text-align: left;
	margin: 0px 0px 0px 10px;
	background-color: #f2f0f3;
	padding: 0px 3px 0px 0px;
	
	
	
}
div.local li {
	padding:0px;
	margin:  5px 0px 5px 0px;
	text-align: left;
}
div.local ol {
	padding-left: 30px;
	margin-left: 0px;
	margin-top: 0px;
	margin-bottom: 5px;
}