html {
  background-color: white;
}

body { 
  margin: 0;
  padding: 0;
}

img {
  border: 0;
}

.bottomright {
  text-align: right;
  margin: 1em;
}

.center { 
  text-align: center;
  margin: 1em;
}

.content .center {
  text-align: center;
}

.rightfloat { 
  float: right;
  padding: 0;
  margin: 1ex;
}

.leftfloat { 
  float: left;
  padding: 0;
  margin: 1ex;
}
.content .leftfloat p { 
  text-indent: 0;
}
.content .rightfloat p { 
  text-indent: 0;
}

h1, h2, h3 { 
  font-family: 'DejaVu Sans', 'Bitstream Vera Sans', Verdana, sans-serif;
}

.title {
  font-weight: bold;
  font-style: italic;
  margin: 0;
  padding: 1em;
  color: #0042AE;
}
.title h1 { 
  font-size: 250%;
  margin-bottom: 0;
  margin-left: 1em;
}
.title h2 { 
  font-size: 175%;
  margin-top: 0.5ex;
  margin-left: 5em;
}
.title a { 
  color: #F0FBFF;
  text-decoration: none;
}
.title a:hover { 
  color: #F0FBFF;
}
.title a:visited { 
  color: #F0FBFF;
}

.content {
  margin: 2em 1em 1em 14em ;
  max-width: 60em;
  text-align: justify;
}
.content h1 {
  border-bottom: 1px solid black;
  padding: 0.5em;
  margin-left: 1em;
  background-color: #F0FBFF;
  color: #0042AE;
  letter-spacing: 0.1em;
}
.content h3 {
  border-bottom: 1px solid black;
  border-left: 1px solid black;
  padding: 0.5em;
  margin-right: 5em;
  background-color: #F0FBFF;
  color: #0042AE;
  letter-spacing: 0.1em;
}
.content p {
  font-family: 'DejaVu Serif', 'Bitstream Vera Serif', serif;
  text-align: justify;
  text-indent: 1em;
  margin: 1ex;
}
.content pre { 
  margin: 1ex;
  padding: 1ex;
  border-left: 1px solid #DAFFFF;
}

.navleft {
  padding: 0;
  float: left;
}
.leftblock { 
  font-family: 'DejaVu Sans', 'Bitstream Vera Sans', Verdana, sans-serif;
  font-size: 0.9em;
  border-right: 1px solid black;
  border-top: 1px solid black;
  border-bottom: 1px solid black;
  background-color: #F0FBFF;
  color: #0042AE;
  padding: 1ex 2ex;
  margin-top: 1em;
}
.leftblock#langbar { 
  color: #777;
  background-color: white;
  border-right: 1px solid #BBB;
  border-top: 1px solid #BBB;
  border-bottom: 1px solid #BBB;
}
.leftblock + .leftblock { 
  margin-top: 2em;
}
.leftblock li.current a:before { 
  content: "· ";
}
.leftblock li.current a:after { 
  content: " ·";
}
/* 
.leftblock li.current {
  border-left: 1px solid #0042AE;
}
.leftblock#langbar li.current {
  border-left: 1px solid #BBB;
}
*/
.leftblock a {
  text-decoration: none;
  color: #0042AE;
  text-indent: 1ex;
  padding-right: 1ex;
}
.leftblock#langbar a {
  color: #777;
}
.leftblock a:hover {
  color: #F0FBFF;
  background-color: #0042AE;
}
.leftblock#langbar a:hover {
  color: #777;
  background-color: #F0FBFF;
}
.leftblock ul { 
  list-style-type: none;
  margin: 0;
  padding: 0;
}
.leftblock ul + ul { 
  margin-top: 1em;
}
.leftblock li a{ 
  display: block;
}

#footer { 
  margin: 2em 4em 0 14em;
  padding-top: 0.5em;
  max-width: 52em;
  border-top: 1px solid #BBB;
}

#footer p {
  color: #777;
  margin: 0.5em;
  text-align: center;
  font-size: 75%;
}

#footer a { 
  color: #777;
  /* text-decoration: none; */
}