body {
  background-color: #ffffff;
  color: #222233;
  line-height: 150%;
}

h1 {
  color: #222277;
  background-color: #aaaaff;
  padding: 2px 4px 1px 4px;
  border: 2px solid #5555aa;
  font-weight: bold;
  font-size:   150%;
}
h2 {
  color: #ffffff;
  background-color: #5555aa;
  padding: 5px 8px 5px 15px;
  margin-bottom: 0px;
  border: 1px #ffffff solid;
  font-weight: bold;
  font-size:   120%;
}
h3 {
  background-color: #ddddff;
  padding: 5px 8px 5px 15px;
  border-bottom: #9999ff 1px solid;
  margin-bottom: 0px;
  color:       #5555ff;
  font-weight: bold;
  font-size:   100%;
  line-height: 150%;
}
h4 {
  padding: 2px 8px 2px 15px;
  border:solid #9999ff;
  border-width:1px 0 0 8px;
  margin:1% 2% 0 2%;
  color:       #5555ff;
  font-weight: bold;
  font-size:   100%;
}
div.partinfo {
  padding-bottom: 0px;
  margin-bottom:  0px;
  color:          #5555ff;
  font-size:      0.8em;
  text-align:     right;
}
a.partedit {
  background-color: #ffffff;
  color:            #aaaaff;
  text-decoration:  none;
  padding:          1px 3px 1px 5px;
  margin-left:      1em;
  border-bottom:    1px solid #aaaaff;
}
kbd {
  color:#000066;
  background-color:#eeee99;
  }
strong {
  font-weight: normal;
  color:red;
  }

em {
  color: #0066ff;
  /* margin: 0px 3px 0px 0px; */
  font-style:normal;
}

li, dt { margin: 0px 0px 0px 0px; }
dd  { margin: 3px 0px 3px 15px; }
p   { margin: 1% 2%; }
dl  { margin: 1% 2%; }

pre {
  color:#061542;
  background-color:#f8f8ff;
  margin: 1% 0 1% 3%;
  padding:0.5em;
  border:1px dotted #9999ff;
  border-width:1px 0px 1px 1px;
  /* line-height: 100%; */ }
blockquote {
  border:1px solid #d0e0ff;
  background-color:#d0e0ff;
  margin:1% 3% 1% 5%; padding:0.25em; }
.inyou {
  border:1px solid #d0e0ff;
  background-color:#d0e0ff;
  margin:1% 3% 1% 5%; padding:0.25em; }
address { 
  font-style:normal;
  text-align:right;
  margin:1% 0 2em 0;
}

/* link */
a{text-decoration:none;}

a:link    { color: #009999; }
a:visited { color: #008000; }
a:hover   { color: #0000ff; }
h2 a    { font-size: 60%; padding-left:1em;}
h2 a:link    { color: #aaaaff; }
h2 a:visited { color: #aaaaff; }
h2 a:hover { color: #ffff00; }

/* table */
table     { margin:5px; margin:0.5em 5em; border:1px solid #9999ff; background:#ccccff; }
td        { margin:1px; padding:2px 10px; background:#ffffff; }

/* misc */
.tools {
  text-align: right;
    padding: 0 .5em 0 .5em;
    margin: 0 0 0 0;
}
.content {
    line-height: 140%;
    margin: 1em 0 1em 1em;
}
.footer {
    text-align: right;
}
pre.nagai {
	white-space: pre !important;
	overflow:scroll !important;
	height:25em;
}

div#fix{
  position: fixed;
  top: 10px; right: 10px;
}
div#fix a{
 padding:1px 4px;
 background:#ffffcc;
 text-decoration:none;
}

div#fnav{
  position: fixed;
  top: 10px; right: 10px;
}
div#fnav a{
 padding:2px;
 background:#ffffcc;
 text-decoration:none;
}
@media print {
  div#fix, div#fnav{
    display: none;
  }
}