div,p     { margin: +3%; margin-top: 10pt; margin-bottom:3pt;
            text-align: justify; font-family: serif; line-height: 100%;}
h1        { margin: 3%; text-align: center;  margin-top: 25pt; 
            margin-bottom: 20pt; font-weight: bold; 
            font-family: "helvetica"}
h2        { margin: 3%; text-align: left;  margin-top: 20pt;
            margin-bottom: 10pt; font-weight: normal;}
h3        { margin: 3%; text-align: left;  margin-top: 15pt;
            margin-bottom: 7pt;
            font-weight: normal; text-decoration: underline;}
A         { text-decoration: normal;}
A:hover   { color: yellow; background-color: #4f4fFf;}
em        { color: red}
address   { text-align: right; font-family: helvetica, sans-serif;
            font-size: smaller; margin-top: -0.2em;}
dl        { margin-top:-1pt;}
dt        { margin:5%; margin-top:-1pt; font-family: serif; font-weight: bold; 
            margin-bottom:0pt; text-decoration: underline; color: #4a8a8a;}
li        { margin-bottom: 0.3em; margin-top: 0.5em; }
.auth     { margin: 0%; font-family: arial; font-size: x-small; 
            margin-top: -0.4em;text-align: right;}
.fig      { text-align: center; margin-left: 0%; margin-right: 0%;
            margin-top: 1em; margin-bottom: 1em; background-color: #f3f3f4;
            color: #0080c0;}
.comment  { margin-left: 7%; margin-right: 3%;
            font-style: oblique; text-align: justify;
            margin-top: 5pt; margin-bottom: 5pt; font-size: smaller;
            color: #335555; letter-spacing: -0.03em; word-spacing: -0.01em;
            line-height: 100%;}
.book     { font-family: times; font-weight: bold;}
.quote    { font-style: sans-serif; text-align: left;
            margin-top: 6pt; margin-bottom: 6pt;
            letter-spacing: -0.02em; word-spacing: -0.0em;
            line-height: 100%;}
.contents { text-align: right; font-size: smaller; font-weight:bolder;
             margin-top:-0.1em; }
.under    { margin-left: 3%; margin-top: -1.1em; margin-bottom: 1.18em;
            color: #997777; background: #997777; border-color: #997777;
            height: 2pt; }