#banner-thin {
  background-color: #DD6E1F;
  padding: 0px;
  height: 34px; /* match height of image; otherwise we get an orange line across the bottom because is 3px too high */
  padding-top: 5px;
}
#banner-menu {
	float: right;
	padding: 5px 0px 0px 0px;
}
#banner-image a img {
	margin: 0px;
	padding: 0px;
	border: 0px;
}
#footer-thin {
	padding-left: 30px;
	padding-bottom: 30px;
}
#footer-img {
	float:left;
	margin-right: 10px;
}
body {
	margin: 0px;
}
a.toolbaranchor {
	color: white;
	margin-right: 10px;
	text-decoration: none;
}
/* locale toggles (language links at upper right of every page */
#locale
{
	float: right;
	margin-right: 1em;
	padding-left: 3px;
	padding-right: 3px;
}
#breadcrumbs {
color: #000; 
margin-left: 5px; 
margin-right: 5px; 
padding: 3px; 
background-color: #eeeeee; 
margin-bottom: 10px; 
font-weight: normal;
text-align: left;}