td.nav_main {
	border-top: 1px #336699 solid;
	background-color: #ffffff;
	color: #000000;	
}

td.nav_bottom {
	border-top: 1px #336699 solid;
	border-bottom: 1px #336699 solid;
	background-color: #ffffff;
	color: #000000;	
}

.navigationStandard {
  /*vertical-align: middle; 
  width: 130px;
  height: 30px;
  
  */
}

td.nav_top {
	border-top: 1px #336699 solid;
	background-color: #ffffff;
	color: #000000;	
}

td.nav_main:hover, td.nav_bottom:hover {
	border-top: 1px #336699 solid;
	background-color: #336699;
	text-decoration: none;
	color: #ffffff;	
}

td.nav_main_selected {
	border-top: 1px #336699 solid;
	background-color: #336699;
	text-decoration: none;
	color: #ffffff;	
}

td#main_content {
  padding-left:42px;
}

td#navigation_row {
  width: 172px; 
  padding-top: 20px; /* strangely, margin-top does not work here */
}