div.top
{
  position: absolute;
  left:0px;
  top: 20px;
  width: auto;
  height: 180;
  margin: 0;
  padding: 0;
}
div.navi
{
  position: absolute;
  left: 0px;
  top: 0px;
  width: 200;
  margin: 0;
  padding: 0;
}
div.main
{
  position: absolute;
  left: auto;
  top: 180px;
  width: 600;
  margin: 00;
  padding: 10;
}

a {
color: #00007F; text-decoration:underline
}
a:hover {
color: darkred
}
h1 {
font-family: Verdana; font-size: 14 pt;
font-variant: small-caps;
}
h2 {
font-family: Verdana; font-size: 14 pt
}
h3 {
font-family: Verdana; font-size: 10 pt
}
body {
color: #000000;
background-color: #F0F0F0;
font-family: Verdana; font-size: 9pt
}
table {
	background-color: #FFFFFF
}
th {
background-color: #C4E1FF;
color: #000000;
font-variant: small-caps;
font-family: Verdana; font-size: 12pt;
font-weight: bold
}
td {
background-color: #DFEEF7;
color: #000000;
font-family: Verdana; font-size: 9pt
}

pre {
	FONT-SIZE: 80%;
}