body {
  margin: 0px;
  padding: 0px;
  background: #FFFFFF;
  border: none;
  color: #000000;
}

div.main_box {
  margin-bottom: 1em; border: 1px solid #7F7F7F;
}

div.main_box h1 {
  font-size: 14pt; font-weight: bold; font-family: arial; color: #000000; margin: 0px; background: #E7E7E7; padding: 2pt; padding-left: 4pt;
}

div.main_box h3 {
  font-size: 10pt; font-weight: bold; font-family: arial; color: #000000; margin: 0px; background: #E7E7E7; padding: 2pt; padding-left: 4pt;
}

div.main_box p {
  margin: 0px; padding: 4pt;
}

div.right_box {
  border: 1px solid #7F3F00; 
  margin-bottom: 1em;
}

div.right_box .top {
  color: #FFFFFF; 
  margin: 0px; 
  padding: 0px;
  background: #FF7F00; 
}

div.right_box h2 {
  font-size: 12pt;
  font-weight: bold; 
  font-family: arial; 
  margin: 0px; 
  padding: 2pt; 
  padding-left: 4pt;
}

div.right_box p {
  margin: 0px; 
  padding: 4pt;
}

div.date {
  float: right;
  font-weight: normal;
  padding-right: 2px; 
  font-size: 7pt;
}

span.spacer {
  margin-left: 2px; margin-right: 2px;
}

a {
  color: #0000C0;
  text-decoration: none;
}

a:hover {
  color: #0000FF;
  text-decoration: underline;
}

div.menu {
  text-align: center;
}

div.menu a {
  text-decoration: none;
  color: #404040;
}

div.menu a:hover {
  text-decoration: underline;
  color: #0000FF;
}

div.license {
  clear: both; text-align: center; color: #404040; font-size: 8pt; border-top: 1px solid #808080; margin: 0px; margin-top: 1em; padding: 4pt;
}

div.license a {
  text-decoration: none;
  color: #404040;
}

div.license a:hover {
  text-decoration: underline;
  color: #0000FF;
}

/* div.wiki { border: 1px solid black; background: #FFFFFF; padding: 8px; padding-bottom: 0px; padding-left: 16px; margin-bottom: 8px; } */
table.wiki { border-collapse: collapse; margin-bottom: 8px; }
table.wiki th { border: 1px solid #808080; background: #000080; color: #FFFFFF; padding-left: 4px; text-align: left; font-weight: bold; padding-right: 4px; }
table.wiki td { border: 1px solid #808080; padding-left: 4px; padding-right: 4px; }
pre { background: #FFFFEF; border: 1px solid #808080; padding: 4px; }
code { color: #C00000; }