body {background-color:#ffffff;}
p {
  margin: 1.5% 4% 1.5% 6%;
}
p.i {
  text-indent:-1em;
  line-height: 140%;
}
p.ni {
  line-height: 140%;
}
p.wg {
  text-indent:-1em;  
}
pre{
  margin: 1.5% 4% 1.5% 6%;
}
pre.shiki { 
  margin: 1.5% 4% 1.5% 6%;
  padding: 1% 2% 1% 2%;
  line-height: 140%; 
  white-space:pre;
}
pre.list { 
  margin: 1.5% 0 1.5% 6%;
  padding: 1% 2% 1% 2%;
  background-color: #f8f8f8;
  border:solid #9999ff;
  border-width:1px 0px 1px 1px;
  line-height: 140%; 
  white-space:pre;
}
pre.result{
  margin: 1.5% 4% 1.5% 6%;
  padding: 1% 2% 1% 2%;
  border:inset 1px #cccccc;
  background-color: #f0f0f8;
  }

pre.prompt { 
  margin: 1.5% 0 1.5% 6%;
  padding: 1% 2% 1% 2%;
  background-color: #f0f8f8;
  border:solid #669999;
  border-width:1px 0px 1px 1px;
  line-height: 140%; 
  white-space:pre;
}

address { 
  font-style:normal;
  text-align:center;
}
div.img { 
  text-align:center;
}
div.navbar { 
  margin: 1% 2%;
}
div.back { 
  margin: 1% 2%;
  text-align:right;
}
div.shiki { 
  margin: 1.5% 4% 1.5% 4%;
  padding: 1% 2% 1% 2%;
}
div.point {
  color: #ff0000;
  margin-left:20%;
  margin-right:20%;
  line-height: 150%;
}
div.sankou { font-size:90%; }
h1{text-align:center;}
h2{
  border-top:solid 1px #9999ff;
  margin:3% 0% 1% 0%; background-color:#9999ff; color:#000033;
  padding: 0.1% 2%;
}
h3 {
  border-top:solid 1px #ccccff;
  margin:2% 0% 1% 0%; background-color:#ccccff; color:#000066;
  padding: 0.1% 2%;
}
h4 {
  margin:2% 0% 1% 4%; color:#000066;
  border-style:solid;
  border-color:#9999ff;
  border-width:1px 0 0 4px;
  padding: 0.1% 2%;
}
span.rem {color:#f00; }
span.r {color:#f00; }
span.g {color:#090; }
span.b {color:#00f; }
span.p {color:#909; }
span.x {color:#ddf;}
span.t {color:#036; font-weight:bold;}
ol, dl, ul{
  margin: 2% 10% 2% 10%;
  line-height: 160%;
}
dt {
  color:#006600;
  font-weight:bolder;
}
table {
  margin-left:6%;
}
strong{
  color:#ff0000;
}
em { 
  font-style:normal;
  color:#ff0000; 
} 
kbd { color:#990000; font-weight:bold; }
pre.prompt span { color:#339999; }

div#fix{
  position: fixed;
  bottom: 10px; right: 10px;
}
div#fix a{
 padding:1px;
 background:#ffffcc;
}
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;
  }
}