a, a:visited {
  color: #FFFFFF;
  text-decoration: none;
}
a:focus, a:hover {
  color: #FFFFFF;
  text-decoration: underline;
}
.dockPanel {
	border: 0px;
	padding: 3px;	
}
#col1 {
	float: left;
	width: 290px;
	z-index: 3;
	padding:10px 10px 10px 10px;
}
#col2 {
	margin-left: 290px;
	margin-right: 30em;
	width: auto;
	z-index: 1;
	padding: 10px 10px 10px 10px;
}
#col3 {
	float: right;
	width: 25em;
	z-index: 5;
	padding: 10px 10px 10px 10px;
}
.article {
	color: #CCFFFF;
}
.article h3 {
	color: #FF9900;
}	
.article-heading {
}
.article h4 {
	padding: 4px 8px;
	font-size: 100%;
	margin-top: 0px;
	background: #CCFFFF;
	color: #003366;
}
.article-title {
}
.article h5 {
	font-family: Georgia, serif;
	font-size: 160%;
	font-weight: normal;
	margin-top: 3px;
	margin-bottom: 3px;
}
.article-subtitle {
}
.article h6 {
	font-family: Georgia, serif;
	font-size: 100%;
	font-weight: normal;
	font-style: italic;
	margin-top: 3px;
	margin-bottom: 3px;
}
.article-text {
  font-size: 110%;	
}
.article-publicationDate {
	color: #999;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 1em;
	font-weight: normal;
	margin-top: 5px;	
}
.teaser {
	color: #CCFFFF;
	border-style: solid;
	border-color: #CCFFFF;
	border-width: 1px;
	margin-top: 7px;
}
.teaser td {
	font-size: 100%;
}
.teaser h3 {
	color: #FF9900;
}	
.teaser-heading {
}
.teaser h4 {
	padding: 4px 8px;
	font-size: 100%;
	margin-top: 0px;
	background: #CCFFFF;
	color: #003366;
}
.teaser-title {
	padding: 0px 5px;	
}
.teaser h5 {
	font-family: Georgia, serif;
	font-size: 130%;
	font-weight: normal;
	margin-top: 3px;
	margin-bottom: 3px;
}
.teaser-subtitle {
	padding: 0px 5px;	
}
.teaser h6 {
	font-family: Georgia, serif;
	font-size: 100%;
	font-weight: normal;
	font-style: italic;
	margin-top: 3px;
	margin-bottom: 3px;
}
.teaser-text {
	padding: 0px 5px;	
}
.teaser-publicationDate {
	color: #999;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 1em;
	font-weight: normal;
	margin-top: 5px;	
	padding: 0px 5px;	
}
.gwt-MenuItem {
	font-size: 150%;
}
.gwt-MenuItem-selected {
	background-color: #036;
	color: #FF9900;
}
#gwt-uid-3 {
	font-size: 90%;
}
#gwt-uid-4 {
	font-size: 90%;
}
#gwt-uid-5 {
	font-size: 90%;
}
#gwt-uid-6 {
	font-size: 90%;
}