body
{
  background: white;
  margin-left:  20%;
  margin-right: 15%;
  margin-top: 1%;
  margin-bottom: 1%;
  padding-top: 0;
  padding-left: 0;
  padding-right: 0;
  padding-bottom: 0;
  border-top: 0;
  border-left: 0;
  border-bottom: 0;
  border-right: 0;
  width: auto;
  font-family: Verdana, sans-serif;
  font-size: 12px;
  color: #202449;
  line-height: 14pt;
  word-spacing: normal;
  letter-spacing: normal;
  text-transform: none;
  text-decoration: none;
  text-align: justify;
}

h1
{
  font-weight: bold;
  text-align: right;
  border-bottom: 2px solid #888888;
  padding-bottom: 3px;
}

h2
{
  font-size: 14px;
  font-weight: bold;
  border-bottom: 1px solid #888888;
}

h3
{
  font-size: 12px;
  font-weight: bold;
  border-bottom: 1px dashed #888888;
}

pre
{
  font-family: monospace;
  font-size: 11px;
  padding: 0.5em;
  margin-left: 1em;
  margin-right: 1em;
  white-space: pre;
  color: black;
  background-color: #e6e6e6;
  border: #777777 1px solid;
}

a
{
  color: #CC4040;
  text-decoration: none;
}

a:hover
{
  text-decoration: underline;
}

img
{
  border: none;
}

.footer
{
  text-align: center;
  margin-top: 5em;
  border-top: 1px solid #666666;
  border-bottom: 1px solid #666666;
  background-color: #e4e4e4;
}

.small
{
  font-size: 10px;
}

.footdate
{
  font-size: 10px;
}

.photo
{
  float: left;
  padding: 10px;
}

.contents
{
  margin-bottom: 2.5em;
}

div.contents dl
{
  padding: 0;
  margin: 0;
}

div.contents dt
{
  margin-bottom: 0.25em;
}

div.contents dd
{
  margin-left: 2em;
}

.menu
{
  font-weight: bold;
  font-size: 14px;
  text-align: right;
  position: fixed;
  float: left;
  top: 10%;
  left: 3%;
  width: 120px;
  padding: 10px;
  border-right: 2px solid #888888;
  line-height: 25px;
}

.fsf
{
  font-weight: bold;
  font-size: 14px;
  text-align: right;
  position: fixed;
  float: left;
  bottom: 5%;
  left: 1%;
  width: 120px;
  padding: 10px;
  line-height: 25px;
}