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; 
 }

 h1 { font-size: 1.3em; font-weight:bold; text-align:left; margin-top:0.2em; margin-bottom:0.5em; 
 background-color:#EAEAEA; }
 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:#EAEAEA; }
 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    { xfont-family:georgia;
           xfont-size:x-small; xfont-weight:bold; 
           background-color:#d5d5d5; color:black; }
 .ref-important    { xfont-family:georgia;
           xfont-size:x-small; xfont-weight:bold; 
           background-color:#ffa0a0; color:black; }
 .abstract 
 {         text-decoration:underline; font-size:small; font-style:italic; background:#F0C0D0; 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:underline;                     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; background:#f2e2d1; font-weight:bold; }
 a.outer:hover  {text-decoration:underline; font-style:italic; background:#e0d0c0; font-weight:bold; }

 a.abstract:link, 
 a.abstract:visited, 
 a.abstract:active {text-decoration:underline; font-size:small; font-style:italic; background:#F0C0D0; 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 { margin-top:1em; margin-bottom:0.1em; margin-left:5%; margin-right:5%; text-align:left; font-weight:bold; 
      background-color:#EAEAEA; }
 dt.trans { margin-top:1em; margin-bottom:0.1em; margin-left:5%; margin-right:5%; text-align:left; font-weight:bold; 
      background-color:#FFFFFF; }
 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;
 }