body {background-color:#ffffff;}
p {
  margin: 1.5% 5% 1.5% 8%;
  line-height: 140%;
  }
p.i {
  text-indent:-1em;
  }
p.toi{
  margin: 1.5% 5% 1.5% 5%;
  line-height: 120%;
  color :#999999;
  }
p.kai{
  margin: 1.5% 5% 1.5% 5%;
  font-size:150%;
  color:#0000ff;
  line-height: 140%;
  }
p.why{
  margin: 1.5% 5% 1.5% 5%;
  line-height: 130%;
  color :#003300;
  }

pre.sample { 
      margin: 1.5% 5% 1.5% 10%;
      padding: 1% 2% 1% 2%;
      background-color: #f0f0f0;
      border:thin gray solid;
      line-height: 120%; 
      white-space:pre;
  }
pre.sample2 { 
      margin: 1.5% 5% 1.5% 8%;
      padding: 1% 2% 1% 2%;
      background-color: #f8f8f8;
      line-height: 140%; 
      white-space:pre;
  }
.rei { 
      margin: 1.5% 5% 1.5% 8%;
      padding: 1% 2% 1% 2%;
      background-color: #f8f8f8;
      border:thin #cccccc solid;
      line-height: 140%; 
      font-size:100%;
      font-family:monospace;
  }
pre.setsu { 
      margin: 1.5% 5% 1.5% 8%;
      padding: 1% 2% 1% 2%;
      background-color: #f8f8f8;
      border:1px #cccccc solid;
      line-height: 140%; 
      white-space:pre;
      font-size:100%;
  }
pre.wakunashi { 
      margin: 1em 6em 1em 6em;
      color : #060;
     line-height: 120%; 
     white-space:pre;
 }
  
address { 
      font-style:normal;
      text-align:center;
  }
div.img { 
      text-align:center;
  }
div.navbar { 
      margin: 2%;
  }
div.lfltimg { 
      margin: 0 0em 0.5em 2em;
  }
div.point {
  color: #ff0000;
  margin-left:20%;
  margin-right:20%;
  line-height: 150%;
}
h1{text-align:center;}
h2{
  border:1px #99ff99 solid;
  background-color: #99ff99 ;
  color:#003366;
  padding: 0.1% 2%;
}
h3 {
   margin:2% 1%; background-color:#ccffcc; color:#003399;
   padding: 0.1% 2%;
   }
h3.num {
   margin:2% 1%; background-color:#ccffcc;
   color:#009933;
   padding: 0.2% 2% 0.1% 2%;
   }
h4 {
   margin:2% 3% 1% 3%; background-color:#ddffee; color:#03c;
   padding: 0.1% 2%;
   border-bottom:1px solid #99ff99;
}
span.r {color:red; }
span.b {color:#0000ff; }
span.g {color:#009900; }
span.x {color:#00cc99;}
span.br {color:#993300;}
span.vi {color:#660066;}
span.t {color:#003366; font-weight:bold;}
ol, dl, ul{
  margin: 2% 10% 2% 10%;
  line-height: 160%;
}
dt {
  color:#006600;
  font-weight:bolder;
}
tt {font-size:100%;}
code {
  font-family:courier, monospace;
  padding:4px;
}
div#fnav{
  position: fixed;
  top: 0px; right: 0px;
  padding:4px 6px;
  background:#f8f8ff;
}
div#fnav a{
  padding:1px;
  background:#ffffcc;
  text-decoration:none;
}
@media print {
  div#fix, div#fnav{
    display: none;
  }
}