BODY { 
      color: #000080;             /* ���� */
}

PRE { 
	background-color: #ffffcc; 
	margin-left: 80px; 
	margin-right: 80px; 
	padding: 0.6em; 
	border-style: solid;
	border-width: 1px;
	border-color: #000000;
	white-space: pre; 
}

 #navlist
{
padding: 0 1px 1px;
margin-left: 0;
font: bold 12px Verdana, sans-serif;
}

#navlist li
{
list-style: none;
margin: 0;
border-top: 1px solid gray;
display: inline;
}

#navlist li a
{
padding: 0.5em 0.7em 0em 0.6em;
border-left: 1em solid #AAB;
background: #CCD;
text-decoration: none;
}

#navlist li a:link { color: #448; }
#navlist li a:visited { color: #667; }

#navlist li a:hover
{
border-color: #FE3;
color: #FFF;
background: #332;
}