#navi {
      position:absolute;
      top:0.5em;
      right:2em;
      text-align:right;
     }

div.lang{
      text-align:left;
      margin: 1ex 1em 1ex 1em;
     }

BODY {
      margin-top:8ex;
      margin-right:1em;
      margin-left:1em;
      background-color:#FEFEFF;
      color:#000080;
     }
H1  {
      font-size:150%;
      font-style:normal;
      font-weight:bold;
      text-align:center;
      padding:10px 8px 8px 8px;
/*
      border-bottom:3px solid #00bfff;
*/
      border-top:4px solid #009;
      color: #009;
      margin: 0px 0.5em 2.5ex 0.5em;
    }

H1.top  {
      font-size:140%;
      text-decoration:none;
      text-align:center;
      background-color:transparent;
      margin: 0;
      border: 0 none; 
      margin-right: 0.5em;
      margin-left: 0.5em;
    }

H2  { 
      font-size:120%; 
      padding:0.3ex 0.5em 0.3ex 0.5em; 
/*
      border-width:2px 0px 2px 0px;
      border-style:solid;

      background-color: #f0f8ff;
      border-color:#0cf;
*/
      color: #339;
      background-color: #bdf;
      font-style:normal; 
      font-weight:bold;
      margin-right:0.5em;
      margin-left:0.5em; 
    }

H2.simple  { 
      font-size:120%; 
      font-style:normal; 
      font-weight:bold;
      margin-right:1.2em;
      margin-left:1.2em; 
    }

H3  { 
      font-size:105%; 
      margin-right:1em;
      margin-left:0.8em; 
      padding:0.5ex 0.5em 0.2ex 0.5em; 
      border-width:0px 0px 0px 12px;
      border-style:solid;
      border-color:#acf;
      font-style:normal; 
      font-weight:bold;
    }

H3.simple  { 
      font-size:105%; 
      font-style:normal; 
      font-weight:bold;
      margin-right:1.5em;
      margin-left:1.5em; 
    }

H4  {
      font-size:100%; 
      font-style:normal; 
      font-weight:bold;
      margin-right:1.5em;
      margin-left:1.5em; 
    }

H4.simple  {
      font-size:100%; 
      font-style:normal; 
      font-weight:bold;
      margin-right:1.5em;
      margin-left:1.5em; 
    }

H5  {
      font-size:100%; 
      font-style:normal; 
      font-weight:bold;
      margin-right:1.5em;
      margin-left:1.5em; 
    }

H5.simple  {
      font-size:100%; 
      font-style:normal; 
      font-weight:bold;
      margin-right:1.5em;
      margin-left:1.5em; 
    }

H6  {
      font-size:100%; 
      font-style:italic; 
      font-weight:normal;
      margin-right:1.5em;
      margin-left:1.5em; 
    }

H6.simple  {
      font-size:100%; 
      font-style:italic; 
      font-weight:normal;
      margin-right:1.5em;
      margin-left:1.5em; 
    }

p   { 
      margin:0.8ex 1.5em 1.2ex 1.5em;
      text-indent:1em;
    }

A:link{
      color:#09c;
    }
A:visited{
      color:#93c;
    }
A:active{
      color:#ff9;
    }
A:hover{
      color:#c69;
    }

dl  { 
      margin:0.25em;
      padding:0.25em;
    }

dt  {
      font-style:normal;
      font-weight:bold; 
      padding:0;
    }

dd  {
      padding:0;
    }

ol, ul {
      margin:0.2ex 1.5em;
      padding:0.2ex 0.2em;
    }

li  {
      margin:0.2ex 2em;
      padding:0.2ex 0.2em;
    }

table{
      border:2px solid #666;
      border-collapse:collapse;
      vertical-align: top;
    }
th, td {
      margin:0 0.1ex 0;
      border:1px solid #666;
    }



tr.heading {
        background: #cccccc;
        color: black;
        vertical-align: top;
        font-weight: bold;
}

tr.search_form {
        background: #eeeeee;
        color: black;
        vertical-align: top;
        font-weight: bold;
}

tr.even, td.key {
        background: #eeeeff;
        color: black;
        vertical-align: top;
}

tr.odd, td.val {
        background: #ffffff;
        color: black;
        vertical-align: top;
}
 
EM  {
      font-size:100%;
      font-style:normal;
      font-weight:bold;
/*      color:#FF0066;  */
    }

strong  {
      font-size:100%;
      font-style:normal;
      font-weight:bold;
      color:#FF0066;
     }
strong.bk{
      color:#000000;
     }
strong.kon{
      color:#000080;
     }

hr.phantom{
      display:none;
     }

.notice{
      border: 4px double gray;
      padding: 5px;
/*      width: 100%;
*/
      margin: 0.2ex 0.5em 0.2ex 0.5em;
      background-color: #f0ffff;
     }

div.bugreport{
      border: 4px double gray;
      padding: 0.8ex;
      margin: 0 3em;
      background-color: #fff0ff;
     }

.info{
/*      text-indent:1em;  */
      border: 3px double gray;
      padding: 5px;
      margin: 0.5ex 10%;
/*      width: 90%;
*/
      background-color: #f0fff0;
     }

div.paofitsms{
      border: 4px double #cfc;
      background-color:#fefefe;
      padding: 0.5ex 0.5em;
      margin: 0.5ex 5%;
}
div.paofitsmstitle{
      background-color:#efffef;
      border: 4px none #efffef;
      padding: 0 0.5em 0.2ex;
     }

div.navi{
      border-width:2px 0px;
      border-style:solid;
      border-color:#999;
      width: 100%;
     }
.aka{
      color:#f06;
     }
.ma{
      color:#c0c;
     }
.cy{
      color:#0cc;
     }
address {
      font-size:98%;
      font-style:italic;
      font-weight:normal;
      text-align:right;
      margin:0.2em;
      padding:0.2em;
      color:#000080;
      background-color:#eff; 
      border-style:solid;
      border-width:4px 0;
      border-color:#cef;
     }