html, body {
  color: #040826;
  background-color: #b7d1e5;
  /* background-color: #FFFFFF;  */
  /* color: #000000; */
  font-family: sans-serif;
}

a {
  margin: -3px;
  padding: 0 3px;
  text-decoration: none;
}

a:link {
  color: #0000ee;
  /* color: #1f00ff;  */
  background-color: transparent;
  text-decoration: underline;
}

a:visited {
  color: #551a8b;
  /* color: #9900dd;  */
  background-color: transparent;
  text-decoration: underline;
}

a:hover {
  color: #9900dd;
  background-color: transparent;
  text-decoration: none;
  margin: -3px;
  padding: 0 2px;
  border: 1px solid black;
}



a.language {
  margin: -3px;
  padding: 0 3px;
  text-decoration: none;
  font-weight: bold;
}





h1 { text-align: center; }
h1, h2, h3 { font-family: sans-serif; }


table.frame {
  border: 0pt;
  padding: 2pt;
  text-align: center;
  width: "98%";
  height: "90%";
}


div.menu {
  text-align: left;
  min-width: 10em;
  border-top: 1px solid #aaaaaa;
  border-left: 1px solid #aaaaaa;
  border-bottom: 2px solid black;
  border-right: 2px solid black;
  background-color: #b7d1e5;
  padding: 3px;
}

div.menu-selected {
  text-align: left;
  min-width: 10em;
  border-top: 2px solid black;
  border-left: 2px solid black;
  border-bottom: 1px solid #aaaaaa;
  border-right: 1px solid #aaaaaa;
  background-color: #e9f8ff;
  padding: 3px;
}

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


td.body {
  border-top: 2px solid black;
  border-left: 2px solid black;
  border-bottom: 1px solid #aaaaaa;
  border-right: 1px solid #aaaaaa;
  background-color: #e9f8ff;
  text-align: left;
  right: 2px;
}

div.body {
  min-height: 300pt;
  margin: 4pt;
}



img {
  border: none 0;
}

td.side {
  color: #3366cc;
  /*
     background: #f2f2f9;
     border-color: #3366cc;
     border-style: solid;
     border-width: thin;
     */
  border-color: white;
  border-style: none;
  vertical-align: top;
  width: 150px;
}

li {
  padding-bottom: 4px;
}

div.copyright {
  font-size: 50%;
  /* position: fixed; */
  /* bottom: 5px; */
  /* left: 5px; */
  border: 2px solid #3366cc;
  padding: 4px;
  background: #f2f2f9;
  border-style: solid;
  border-width: thin;
}


.footnoteref {
  font-size: smaller;
  vertical-align: text-top;
}


.center {
  text-align: center;
}

.italic {
  font-style: italic;
}

.bold {
  font-weight: bold;
}

.quote {
  margin-left: 40px;
  margin-right: 40px;
}

.hrsmall {
  width: 80px;
  height: 1px;
  margin-left: 20px;
}

.td_title {
  border-color: #3366cc;
  border-style: solid;
  border-width: thin;
  color: #3366cc;
  background-color : #f2f2f9;
  font-weight: bold;
}

.td_con {
  padding-top: 3px;
  padding-left: 8px;
  padding-bottom: 3px;
  color : #303030;
  background-color : #fefefe;
  font-size: smaller;
}

.translations {
  background-color: transparent;
  color: black;
  font-family: serif;
  font-size: smaller;
}

.fsflink {
  font-size: smaller;
  font-family: monospace;
  color : #000000;
  border-left: #3366cc thin solid;
  border-bottom: #3366cc thin solid;
  padding-left: 5px;
  padding-bottom: 5px;
}

.trans {
  font-size: smaller;
  color : #000000;
  border-left: #3366cc thin solid;
  padding-left: 20px;
}
ViewGit