body{
  padding: 0px;
  border: 0px;
  text-align: left;
  color: black;
  background-color: white;
  margin: 2px;
  
  
}

p { 
	font-family: Verdana, Arial, Helvetica, sans-serif; 
	font-size: 1em;
}

h2{
	font-family: sans-serif, Helvetica, Arial;
	font-size: 1.5em;
/*	color: #006699; */
  margin-top: 1em;
}

h1{
	font-family: sans-serif, Helvetica, Arial;
	font-size: 2em;
/* 	color: #006699; */
}

a:link,a:active,a:visited { 
	color : #FF0000; 
}

a:hover { 
	text-decoration: color : #DD6900; 
}

a.navi{
	color : #006699;
	text-decoration : none;
}

a.navi:hover{
	color : #006699;
	text-decoration : none;
	background: #D1D7DC;
}	


div.header{

	font-family: sans-serif; 
	font-size: 2em;	
	font-weight: bold;
	color: #003399;
  width:100%;
  text-align:center;
  background-color: #EEEEEE;

}

div.navi{
  position: absolute;
  left: 0px;
	font-family: Verdana, Arial, Helvetica, sans-serif; 
	font-size: 1em;
  width:240px; 
/*  padding: 3px; */
  background-color: #EEEEEE;
  margin-top: 5px;
}

pre {
	font-size:              small;
padding:                5px;
padding-left: 20px;

background-color:       #AAFFAA;
border-width:           1px;
border:    1px black  solid;
border-color:           black;

}

pre.copyright {

	font-size:              small;
padding:                5px;

background-color: white;
border-width:           1px;
border-style:           solid;
border-color:           black;

}
div.runko{

  top: 0px;
	font-family: Verdana, Arial, Helvetica, sans-serif; 
	font-size: 8pt;
	background-color: #FFFFFF;
/*	border: 1px solid #DEE3E7; */
	padding: 10px 40px;
/*  margin: 0px 10% 0px 260px; */
  

}


div.lokero {
  border-bottom:1px #006699;
  font-size:1.5em;
	color: #333399;
  text-align:center;
}