.body {
	padding-top:1ex;
	padding-left:3ex;
	font-family: verdana, arial, helvetica, sans-serif;
	font-size: 11px;
	line-height: 18px;
	color:#123466;
	text-decoration: none
}

.cookie {
	font-family: verdana, arial, helvetica, sans-serif;
	font-size: 12px;
	line-height: 15px;
	color:#123466;
	text-decoration: none
}
.date	{
	background-color:#FFFFFF;
	padding-left:2.5ex;
	font-family: verdana, arial, helvetica, sans-serif;
	font-size: 10px;
	line-height: 10px;
	color: #123466;
	text-decoration: none
}
.small	{
	background-color:#FFFFFF;
	padding-left:.2ex;
	font-family: verdana, arial, helvetica, sans-serif;
	font-size: 10px;
	line-height: 10px;
	color: #123466;
	text-decoration: none
}
.specs	{
	background-color:#DEDEDE;
	padding-left:.2ex;
	font-family: verdana, arial, helvetica, sans-serif;
	font-size: 10px;
	line-height: 10px;
	color: #123466;
	text-decoration: none
}
.projectmenu	{
	font-family: verdana, arial, helvetica, sans-serif;
	font-size: 12px;
	line-height: 15px;
	color:#123466;
	text-decoration: none
}
.project {
	padding-top:1.5ex;
	font-family: verdana, arial, helvetica, sans-serif;
	font-size: 11px;
	line-height: 18px;
	color:#123466;
	text-decoration: none
}

.disabledmenu {
	color: #FF0000;
}

.menu1	{
	background-color:#FFFFFF;
	padding-top: 1ex;
	font-family: verdana, arial, helvetica, sans-serif;
	font-size: 12px;
	line-height: 18px;
	color: #0000FF;
	text-decoration: none
}
  .menu1 ul		{ background-color:#FFFFFF;
			  list-style: none;
			  list-style-position: outside;
			  padding-left: 0;
			  margin-left: 0; }
  .menu1 ul A		{ background-color:#FFFFFF;
			  color:#123466;
			  text-decoration:none; }
  .menu1 ul A:active 	{ background-color:#FFFFFF; color:#123466; }
  .menu1 ul A:visited 	{ background-color:#FFFFFF; color:#123466; }
  .menu1 ul A:hover 	{ background-color:#CCCCCC;
			  color:#0000FF;
			  border-left: 1px solid #123466;}
  .menu1 ul A IMG	{ border:0; }

.menu2 	{ background-color:#FFFFFF;
	  padding-left:1ex;
	  font-family: verdana, arial, helvetica, sans-serif;
	  font-size: 11px;
	  line-height: 15px;
	  color: #0000FF;
	  text-decoration: none; }
  .menu2 ul		{ background-color:#FFFFFF;
			  padding-left: 1ex;
			  margin: 0,0,0,1ex;
			  list-style: none;
			  list-style-position: outside; }
  .menu2 ul A	        { background-color:#FFFFFF; color:#123466;
			  text-decoration:none; }
  .menu2 ul A:active 	{ background-color:#FFFFFF; color:#123466; }
  .menu2 ul A:visited 	{ background-color:#FFFFFF; color:#123466; }
  .menu2 ul A:hover 	{ background-color:#DEDEDE; color:#0000FF; }
  .menu2 ul A IMG	{ border:0; }
	
.menu3	{ background-color:#FFFFFF;
	  padding-top: 2.5ex;
	  font-family: verdana, arial, helvetica, sans-serif;
	  font-size: 12px;
	  line-height: 18px;
	  color: #0000FF;
	  text-decoration: none; }
  .menu3 ul		{ background-color:#CCCCCC;
			  list-style: none;
			  list-style-position: outside;
			  padding-left: 0;
			  margin-left: 0; }
  .menu3 ul A	        { background-color:#CCCCCC; color:#123466;
			  text-decoration:none; }
  .menu3 ul A:active 	{ background-color:#CCCCCC; color:#123466; }
  .menu3 ul A:visited 	{ background-color:#CCCCCC; color:#123466; }
  .menu3 ul A:hover 	{ background-color:#CCCCCC; color:#0000FF;
			  border-left: 1px solid #123466;}
  .menu3 ul A IMG	{ border:0; }

.menu4 	{ background-color:#FFFFFF;
	  padding-left:1ex;
	  font-family: verdana, arial, helvetica, sans-serif;
	  font-size: 11px;
	  line-height: 15px;
	  color: #0000FF;
	  text-decoration: none; }
  .menu4 ul		{ background-color:#DEDEDE;
			  padding-left: 1ex;
			  margin: 0,0,0,1ex;
			  list-style: none;
			  list-style-position: outside; }
  .menu4 ul A	        { background-color:#DEDEDE;color:#123466;
			  text-decoration:none; }
  .menu4 ul A:active 	{ background-color:#DEDEDE;color:#123466; }
  .menu4 ul A:visited 	{ background-color:#DEDEDE;color:#123466; }
  .menu4 ul A:hover 	{ background-color:#DEDEDE;color:#0000FF; }
  .menu4 ul A IMG	{ border:0; }
	
.cookie			{ font-family: verdana, arial, helvetica, sans-serif;
			  font-size: 12px;
			  line-height: 15px;
			  color:#0000FF;
			  text-decoration: none; }
.cookie	A	        { background-color:#DEDEDE; color:#123466;
			  text-decoration:none; }
.cookie	A:active 	{ background-color:#DEDEDE; color:#123466; }
.cookie	A:visited 	{ background-color:#DEDEDE; color:#123466; }
.cookie	A:hover 	{ background-color:#DEDEDE; color:#0000FF; }
.cookie	A IMG		{ border:0; }
	
.author			{ padding-left:1.5ex;
			  font-family: verdana, arial, helvetica, sans-serif;
			  font-size: 10px;
			  line-height: 14px;
			  color: #123466; text-decoration: none; }
.author	A	        { color:#123466; text-decoration:none; }
.author	A:active 	{ color:#123466; }
.author	A:visited 	{ color:#123466; } 
.author	A:hover 	{ color:#0000FF; }
.author	A IMG		{ border:0; }
	
.line {
	padding-left:1ex;
	padding-right:1ex;
	font-family: verdana, arial, helvetica, sans-serif;
	font-size: 16px;
	line-height: 10px;
	color:#1860A2;
	text-decoration: none
}
.large {
	font-family: verdana, arial, helvetica, sans-serif;
	font-size: 14px;
	line-height: 18px;
	color: #666666;
	text-decoration: none
}
.margin {
	font-family: verdana, arial, helvetica, sans-serif;
	font-size: 14px;
	line-height: 16px;
	color: #333399;
	text-decoration: none;
	font-weight: bold
}
.bodymargin {
	font-family: verdana, arial, helvetica, sans-serif;
	font-size: 12px;
	line-height: 18px;
	color: #333399;
	text-decoration: none
}
.head {
	font-family: verdana, arial, helvetica, sans-serif;
	border-bottom: 0 px;
	font-size: 12px;
	line-height: 18px;
	color: #123466;
	text-decoration: none;
	font-weight: bold
}
pre {
	background-color:#F0F0F0;
	overflow: auto;
}
.imagelink A IMG { border: 0; }