body {
  font-family: courier, monospace;
  font-size: 12pt;
  color: #000000;
  margin: 0px;
  height: 100%;
  background: #ffffff;
  text-align: center;
}

dl dt { 
  margin-top: 1em;
}

span.sc { 
  font-variant: small-caps;
}

a.label, a.label:hover { 
  text-decoration: none;
}

a:link {  
  color: #4000b0;
  font-weight: bold;
  text-decoration: none;
}

a:hover, a:visited:hover {  
  color: #0000ff;
  text-decoration: underline;
}

a:visited { 
  color: #200090
;
  font-weight: bold;
  text-decoration: none;
}

div#navigation { 
  text-align: center;
  margin-bottom: 2em;
  text-transform: lowercase;
}

div#navigation a { 
  font-family: courier, monospace;
  font-weight: bold;
  margin-top: 0px;
  margin-left: 1.2em;
  margin-right: 1.2em;
  text-decoration: none;
  font-size: 150%;
  color: #4000b0;
}

div#navigation a:hover { color: #000000; text-decoration: underline; }

#navActive { 
  margin-left: 1.2em;
  margin-right: 1.2em;
  font-weight: bold;
  font-family: courier, monospace;
  text-decoration: underline;
  font-size: 150%;
}

div#languageSelection { 
  padding: 5px;
  padding-top: 0px;
  margin-bottom: 0px;
  text-align: right;
}

div#languageSelection a.language {
  font-family: courier, monospace;
  font-size: 90%;
  font-weight: normal;
  margin-right: 3px;
  color: #4000b0;
}

div#languageSelection span#currentLanguage { 
  font-family: courier, monospace;
  font-size: 90%;
  font-weight: bold;
  margin-right: 3px;
  color: #000000;
}

b { 
  font-weight: bold;
}

div#text { 
  font-family: courier, monospace;
  font-weight: normal;
  text-align: left;
  margin: 3em;
  letter-spacing: 0.5px; 
}

h1 {
  background: #4000b0;
  color: #ffffff;
  letter-spacing: 2px;
  text-transform: lowercase;
  font-size: 250%;
  font-family: courier, monospace;
  font-weight: bold;
  padding: 5px;
  margin-top: 0px;
  margin-bottom: 0px;
  text-align: center;
}

h1 a:link { text-decoration: none; color: #ffffff; }
h1 a:hover {  text-decoration: none; color: #ffffff;  }
h1 a:visited { text-decoration: none; color: #ffffff;  }
h1 a:visited:hover { text-decoration: none; color: #ffffff;  }

h2 {
  font-size: 200%;
  font-family: courier, monospace;
  font-weight: bold;
  text-align: center;
  text-transform: lowercase;
}

h3 {
  font-size: 130%;
  font-family: courier, monospace;
  text-transform: lowercase;
  text-align: center;
  margin-top: 2em;
  margin-bottom: 1em;
}

div.path {
  font-weight: normal;
  padding: 3px;
  margin-top: 5px;
  margin-bottom: 3em;
  text-align: center;
}

div.formula { 
  font-size: 50%;
  margin-left: 4em;
  margin-right: 4em;
}

p.figure img { 
  float: top;
  border: none;
  border-color: #404040;
}

p.figure img.border { 
  border: solid 1px;
}

p.figure { 
  margin-bottom: 1em;
  font-size: 65%;
  text-align: center;
}

div.toc a { 
  font-weight: normal;
}

div.toc ul { font-size: 110%; }

div.toc ul ul { font-size: 91%; }

table.gallery {
  margin-left: auto;
  margin-right: auto;
}

table.gallery td { 
  padding-bottom: 2em;
  padding-left: 3em;
  padding-right: 3em;
  text-align: center;
  font-family: courier, monospace;
  font-weight: bold;
}

div.image {
  text-align: center;
  margin: 2em;
}

div.image img { 
  border-color: #000000;
  border: solid 1px;
}

img { 
  margin: 3px;
  border-color: #000000;
  border: solid 1px;
}

table.gallery a { 
  color: #000000;
}

table.gallery a:hover { 
  color: #000000;
}

table.gallery span.vote { 
  font-size: 75%;
}

table.gallery span.vote a {
  font-weight: normal;
  padding-left: 2em;
  padding-right: 2em;
}

table.figure {
  margin-left: auto;
  margin-right: auto;
}

table.figure td { 
  padding-bottom: 1em;
  padding-left: 1em;
  padding-right: 1em;
  text-align: center;
  font-family: courier, monospace;
}

table.figure img { 
  border-color: #000000;
  border: solid 1px;
}

#suggest { 
  margin-top: 2em;
  text-align: center;
}

#suggest input { 
  font-family: courier, monospace;
}