body {
 background-color:#ffffff; 
 font-family:book antiqua; 
 margin-top:1em; margin-right:2em; margin-bottom:0.5em; margin-left:2em; 
 padding-top:0em; padding-right:0.5em; padding-bottom:0.5em; padding-left:0.5em;  text-align:justify; 
 }

 h1 { font-size: 1.3em; font-weight:bold; text-align:left; margin-top:0.2em; margin-bottom:0.5em; 
 xbackground-color:#C6DEFF; }
 h2 { font-size: 1.1em; font-weight:bold; text-align:left; 
 margin-top:1em; margin-bottom:0.1em; 
 padding-left:0.5em; padding-right:1em; 
 background-color:#C6DEFF; }
 h3 { font-size: 0.9em; font-weight:bold; text-align:left; margin-top:0.5em; margin-bottom:0.1em; 
 font-style:italic; color:#880000; }
 h4 { font-size: 0.7em; font-weight:bold; text-align:left; margin-top:0em; margin-bottom:0em; }
 h5 { font-size: 0.5em; font-weight:bold; text-align:left; margin-top:0em; margin-bottom:0em; }
 h6 { font-size: 0.7em; font-weight:bold; text-align:left; margin-top:0em; margin-bottom:0em; }

 b { font-weight:bold; color:#aa0000; }
 .i { font-weight:bold; font-style:italic; color:#aa0000; }
 i { font-weight:bold; font-style:normal; color:#000000; }
 
 .ref    { font-weight:normal; 
           background-color:#d5d5d5; color:black; 
           border-width: thin;
           border-color: black;
           border-style: groove;
           padding-left: 0.2em; padding-right: 0.2em; 
           }
 .ref-important 
 {         font-weight:normal; 
           background-color:#ffa0a0; color:black; 
           border-width: thin;
           border-color: red;
           border-style: groove;
           padding-left: 0.2em; padding-right: 0.2em; 
           }
 .note   { xfont-family:georgia;
           xfont-size:x-small; font-weight:normal; 
           xbackground-color:#05d505; color:#959595;
           }
 .abstract 
 {         text-decoration:underline; font-size:small; font-style:italic; background:#3BB9FF; font-weight:bold;
           color:black; 
           border-width: thin;
           border-color: black;
           border-style: groove;
           padding-left: 0.2em; padding-right: 0.2em; 
           }
 
 span.motto { font-weight:bold; font-style:italic; color:#880000;  }
 
 a:link, 
 a:visited, 
 a:active{text-decoration:none;       font-weight:bold; }
 a:hover {text-decoration:underline;  background:#F0E0D0; font-weight:bold; }

 a.outer:link, 
 a.outer:visited, 
 a.outer:active    {text-decoration:underline; font-style:italic;  font-weight:bold; }
 a.outer:hover     {text-decoration:underline; background:#F0E0D0; font-weight:bold; }

 a.abstract:link, 
 a.abstract:visited, 
 a.abstract:active {text-decoration:underline; font-size:small; font-style:italic; background:#3BB9FF; font-weight:bold; }
 a.abstract:hover  {text-decoration:underline; font-size:small; font-style:italic; background:#F0E0D0; font-weight:bold; }

 a.totop { font-size:x-small; color:red; }
 
 ul { margin-top:0em; margin-bottom:0em; }

 div { 
 margin-top:0.2em; margin-right:0.5em; margin-bottom:0.2em; margin-left:0.5em; text-align:justify; 
 }
 div.margins { 
 margin-top:1em; margin-right:0.5em; margin-bottom:0em; margin-left:0.5em; text-align:justify; 
 }
 
 address { 
 background-color:#c5c5c5; 
 font-size:small; font-style:bold; text-align:right;
 margin-top:1.5em; margin-right:0%; margin-bottom:1em; margin-left:0%;
 padding-top:1em; padding-right:1%; padding-bottom:1em; padding-left:1%;
 }

 p.contents { margin-top:0.1em; margin-left:0em; text-align:center; font-family:serif; }

 dt { background-color:skyblue; margin-top:1em; margin-bottom:0.1em; margin-left:5%; margin-right:5%; text-align:left; font-weight:bold; }
 dd {                           margin-left:10%; margin-right:05%; text-align:justify;  }

  .boxSmall {
    background-color:#c0c0c0;
    border-width:    thin;
    border-color:    #000000;
    border-style:    solid;

    font-family:     courier;
    font-size:       small;

    margin-left:     8%;
    margin-right:    0%;
    margin-top:      1%;
    margin-bottom:   1%;

    padding-left:    1%;
    padding-right:   1%;
    padding-top:     0.5%;
    padding-bottom:  0.5%;
  }

  .boxSmallUnicode {
    background-color:#c0c0c0;
    border-width:    thin;
    border-color:    #000000;
    border-style:    solid;

    font-family:     arial unicode ms;
    font-size:       small;

    margin-left:     1em;
    margin-right:    1em;
    margin-top:      1em;
    margin-bottom:   1em;

    padding-left:    1em;
    padding-right:   1em;
    padding-top:     1em;
    padding-bottom:  1em;
  }

  .boxNormal {
    background-color:#c5c5c5;
    border-width:    thin;
    border-color:    #000000;
    border-style:    none;

    margin-left:     0%;
    margin-right:    0%;
    margin-top:      1%;
    margin-bottom:   1%;

    padding-left:    2%;
    padding-right:   2%;
    padding-top:     1em;
    padding-bottom:  1em;
  }

 div.right {
 text-align:right;
 }