body { color: black; background: white; width: 95%;
     font-size: 14pt; font-family: Times, serif }
h2, h3, h4 { margin-left: 5%; width: 90% }
h1, h2, h3, h4 { font-family: Helvetica, sans-serif }
h1 { font-size: 160%; font-weight: bold; color: #003366;
     margin-top: 1em; margin-bottom: 1em; padding: 0.5em;
     border: none; background: #6699CC; margin-left: 1% }
h2 { font-size: 140%; font-weight: bolder }
h3 { font-size: 120% }
h4 { font-size: 100% }

p  { font-family: Times, serif ; font-size: inherit; text-align: justify;
     margin-left: 5%; width: 90% }
a  { text-decoration: none; color: #CC0033; font-family: Times, serif }
a.h1 { font-family: Helvetica, sans-serif;
       font-size: 100%; font-weight: bold; color: #003366;
       border: none; background: #6699CC; }
br.all { clear: both }
div.box { border: solid; border-width: thin; padding: 0.5em;
     margin-left: 5%; width: 90% }
div.navi { padding: 0.5em; border: none; background: #6699CC;
     margin-left: 1%; margin-top: 1em }
a.navi  { text-decoration: none; color: #FFFF33;
     font-family: Helvetica, sans-serif;
     font-size: 120%; font-weight: bold}
a.rnavi  { text-decoration: none; color: #FFFFFF;
     font-family: Helvetica, sans-serif;
     font-size: 80%; font-weight: normal; float: right;}
a.this  { text-decoration: none; color: #003366;
     font-family: Helvetica, sans-serif;
     font-size: 120%; font-weight: bold}
img.left { float: left; border-style: none; padding-right: 1em }
img.right { float: right; border-style: none; padding-left: 1em }