body    {
        font-size: 100%;
        font-family: Verdana, Arial, Helvetica, sans-serif;
        text-align: justify;
        }

h1      {
        text-align: center;
        font-size: 36pt;
        font-weight: bolder;
        letter-spacing: 2px;
        color: navy;
        margin-top: -6pt;
        margin-bottom: -3pt;
        }

h2      {
        text-align: left;
        font-size: 18pt;
        font-weight: bold;
        color: navy;
        margin-top: 6pt;
        margin-bottom: 9pt;
        border-bottom: thin solid navy;
        }


h3      {
        text-align: left;
        font-size: 14pt;
        font-weight: bold;
        color: navy;
        text-decoration: underline;
        margin-top: 24pt;
        margin-bottom: 2pt;
        }

table.notice {
        width: 75%;
        background-color: aliceblue;
        border: solid ridge blue;
        font-size: 100%;
        font-family: Verdana, Arial, Helvetica, sans-serif;
        text-align: justify;
        }

table.rednotice {
        width: 75%;
        background-color: #fff0f0;
        border: solid ridge red;
        font-size: 100%;
        font-family: Verdana, Arial, Helvetica, sans-serif;
        font-weight: bold;
        text-align: justify;
        }

div.related {
        text-align: left;
        font-size: 100%;
        font-weight: bold;
        color: navy;
        margin-top: 36pt;
        margin-bottom: 1pt;
        }

div.link {
        font-size: 80%;
        text-align: left;
        margin-left: 32px;
        text-decoration: none;
        cursor: hand;
        margin-top: 0pt;
        margin-bottom: 3pt;
        }

A.linkto {
        font-size: 125%;
        font-weight: bold;
        text-align: left;
        text-decoration: underline;
        cursor: hand;
        margin-top: 0pt;
        margin-bottom: 3pt;
        }

A.linksml {
        font-size: 100%;
        font-weight: bold;
        text-align: left;
        text-decoration: underline;
        cursor: hand;
        margin-top: 0pt;
        margin-bottom: 3pt;
        }

li      {
        margin-bottom: 8pt;
        }

.keypre {
        font-size: 80%;
        font-weight: normal;
        }

.keypress {
        font-size: 115%;
        font-family: Courier New, mono;
        font-weight: bold;
        }

.emily  {
        font-family: Courier New, mono;
        font-weight: bold;
        font-size: 125%;
        color: blue;
        text-align: left;
        text-decoration: none;
        }

.emilink {
        font-family: Courier New, mono;
        font-weight: bold;
        text-decoration: none;
        }

.filedump {
        font-family: Courier New, mono;
        font-size: 80%;
        text-align: left;
        text-decoration: none;
        margin-left: 32px;
        margin-bottom: 2pt;
        }