BODY {
      margin-right:0.5em;
      margin-left:0.5em;
    }

H1  { 
      font-size:140%;
      font-style:normal;
      font-weight:bold;
      text-align:right;
      color:#000080;
      background-color:#CCCCFF; 
      padding: 0.2em;
      margin: 0 0.1em;
      border-width: 3px 0;
      border-style: solid;
      border-color:#000080;
    }
H1.top  { 
      font-size:150%; 
      font-style:normal; 
      font-weight:bold;
      text-align:center; 
      width:auto;
      color:#000080; 
      background-color:#CCCCFF; 
      padding:8 8 8 8; 
      border: 5px double #000080; 
    }

H2  { 
      font-size:125%; 
      font-style:normal; 
      font-weight:bold;
      margin-left:1em; 
      margin-right: 1em; 
      color:#CCCCFF; 
      background-color:#000080; 
      padding:5 5 5 5; 
      border: 1px none ; 
    }

H3  { 
      font-size:100%; 
      font-style:normal; 
      font-weight:bold;
      margin:0 0 0 1em; 
      width:auto;
      color:#000080; 
      background-color:#CCCCFF; 
      border: 1px dashed #CCCCFF; 
    }

H4  { 
      font-size:100%; 
      font-style:normal; 
      font-weight:bold;
      margin:0 0 0 1em; 
      width:auto;
      color:#000080; 
      background-color:#FFFFFF; 
      border: 1px double #CCCCFF; 
    }

p   { 
      margin:0.2ex 3em 0ex 3em;
    /*  text-align:justify; */ 
      text-indent:1em;
    }

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

dt  {
      font-style:normal;
      font-weight:bold; 
      margin:0.3em 0 0 2.5em;
      padding:0;
    }

dd  {
      margin:0.3em 4.5em 0 2em;
      padding:0;
    }

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

li  {
      margin:0.2ex 0;
      padding:0.2ex 0;
    }

ol ul {
      margin:0.2ex 0;
      padding:0.2ex 0em;
    }

ol ul li {
      margin:0.2ex 0;
      padding:0.2ex 0;
    }

tr, th, td {
      margin:0.1ex 0;
      padding0;
    }

.wn {
      color:red;
      background-color:white;
      padding:0 6; border:0 none ;
    }

.lwn {
      font-size:120%;
      font-style:normal;
      margin:0 5em 0 0;
      padding:1.2ex;
      border: 3px double #009999;
    }

.contents {
      color:black; 
      background-color:white;
      padding:0 6;
      border:0px none ;
    }

EM  {
      font-size:100%;
      font-style:normal;
      font-weight:bold;
      color:#FF0066;
    /*  padding:4 4 4 4; */
    /*  border: 1px none ; */
    }

address {
      font-size:100%;
      font-style:italic;
      text-align:right;
      margin:1em;
      padding:0.5em;
      background-color:#EEEEFF; 
      border-style:solid;
      border-width:2px 0;
      border-color:#9999CC;
    }