/* tag settings */
body    {background:white;color:black;
         font-family:utopia,Times New Roman,gothic;line-height:130%;
         width:100%;
	 padding:10px;
	 margin:0;}
address {font-family:utopia,Times New Roman,gothic;font-size:11pt;
         font-style:normal;margin-top:20px;}
ol,ul {line-height:110%;}
h4 {margin-bottom:5px;}
pre {
  color:#999966;
  font-size:10pt;
  line-height:10pt;
  margin-left:10px;
  overflow:visible;
  padding:0;
}
table.bordered, table.bordered td, table.bordered th {border:tan 1px solid;}

/* counter */
#counter {font-size:8pt;padding-right:20px;text-align:right;margin:0 0 0 auto;}

/* for script source etc */
div.pre  {
  color:#999966;
  font-size:10pt;
  line-height:10pt;
  margin:10px;
  overflow:visible;
  padding:0;
}
span.pre {
  color:#999966;
  font-size:10pt;
}

/* for text style */
p.big,div.big {font-size:15pt;font-weight:bold;line-height:130%;}
p.small,div.small,table.small td,table.small th {font-size:8pt;line-height:130%;font-family:MS UI gothic;}
div.s {text-decoration:line-through;}
div.old,div.old a {color:gray;}
span.big {font-size:15pt;line-height:130%;}
span.small {font-size:8pt;line-height:130%;font-family:MS UI gothic;}
span.aa {font-family:MS PGothic, gothic;}
span.bold {font-weight:bold;}
span.em {font-size:12pt;font-weight:bold;}
span.i {font-style:italic;}
span.s {text-decoration:line-through;}
span.pink {color:pink;}
span.red {color:red;}
span.background {color:white;}
a.noubar {text-decoration:none;}

/* for citation text */
pre.cite,div.cite {
  background:#c0c0c0;
  color:#808080;
  font-size:10pt;
  line-height:110%;
  margin:10px 5px;
  padding:5px;
  width:90%;
}
span.cite {
  background:#c0c0c0;
  color:#808080;
  font-size:10pt;
  }
div p.reference {font-style:italic;text-align:right;margin-bottom:5px;}

/* java notice */
div.notice_java
	{color:#808080;font-size:10pt;margin-top:20px;margin-bottom:0;
	 border-top:dotted #808080 1px;border-bottom:dotted #000000 2px;
	 padding:10px;width:600px;}
div.notice_java a
	{color:#8080ff;}
div.notice_java a:hover,div.notice_java a:active
	{color:#ff8080;}
div.notice_java pre
	{margin-top:5px;margin-bottom:5px;}