body {
  color: black;
  background-color: white;
  /*background: url("/images/newyear.png");*/
  font-family: "Times New Roman", Times, serif;
  margin: 0;
  padding: 0;
}
h1 {
  font: bold 120% Verdana, Helvetica, Arial, sans-serif;
  text-align: center;
  color: #363;
}
h2 {
  font: bold 110% Verdana, Helvetica, Arial, sans-serif;
  text-align: center;
  color: #363;
}
strong {
  font-weight: bold;
}
#sidebar {
  position: absolute;
  width: 200px;
  top: 0;
  bottom: 0;
  left: 0;
  right: auto;
  margin: 0;
  padding: 0;
  font-family: Tahoma, Lucida, Helvetica, Arial, sans-serif;
}
#main {
  position: absolute;
  top: 0;
  right: 0;
  left: 200px;
  bottom: auto;
  margin: 0;
  padding: 0;
}
/* Well known bug in IE: we need additional div for padding and margin/padding
 * 0 for positioned boxes */
.padded {
  padding: 1em;
}
.logo {
  font: bold 120% Georgia, Verdana, Helvetica, Arial, sans-serif;
}
hr {
  clear: both;
  background-color: transparent;
  height: 0;
  color: black;
  border: none;
  border-top: thin solid black;
}
ul.menu, dl.menu {
  list-style-type: none;
  padding: 0 0.1em 0 0;
  margin: 0;
}
ul.menu li ul.menu {
  padding: 0 0.1em 0 1em;
}
ul.menu li ul.menu li {
  font: bold 90%/90% Tahoma, Lucida, Helvetica, Arial, sans-serif;
}
ul.menu li {
  margin: 0.3em 0 0.3em 0;
  padding: 0.2em;
  border: thin;
  border-color: transparent; 
  font: bold 100%/90% Tahoma, Lucida, Helvetica, Arial, sans-serif;
}
dl.menu dt {
  margin: 0.3em 0 0.1em 0;
  padding: 0em;
  border: thin;
  border-color: transparent; 
  font: bold 100%/90% Tahoma, Lucida, Helvetica, Arial, sans-serif;
}
ul.menu li a, dl.menu dt a {
  color: #603;
}
ul.menu li a:hover, ul.menu li a:active, ul.menu li a:focus, dl.menu dt a:hover, dl.menu dt a:active, dl.menu dt a:focus {
  color: #f33;
}
ul.menu li.highlight {
  background-color: #eee;
  border: #eee inset thin;
}
ul.links, ul.links-index {
  list-style-type: none;
}
a[hreflang="en"]:before {
  border: none;
  margin: 0 0.5ex 0 0;
  content: url("/images/lang/en.png");
}
a[hreflang="ru"]:before {
  border: none;
  margin: 0 0.5ex 0 0;
  content: url("/images/lang/ru.png");
}
/* IE doesn't uderstand a[href] and we don't use <a> as anchor, so... */
a {
  text-decoration: none;
  background-color: transparent;
  color: #009;
}
a:hover, a:active, a:focus {
  text-decoration: none;
  background-color: transparent;
  color: #900;
}
/* Bug in mozilla: it doesn't understand border (and other properties) for
 * generated content */
img {
  border: none;
}
img.main {
  float: left;
  border: none;
  margin: 0 1em 1em 0;
}
div.illustration {
  text-align: center;
  font: bold 100% Verdana, Helvetica, Arial, sans-serif;
  color: #363;
}
dt {
  font: bold 100% Verdana, Helvetica, Arial, sans-serif;
  color: #363;
  margin-top: 0.3em
}
ul.index {
  list-style-type: none;
  padding: 0 0.1em 0 0;
  margin: 0;
}
ul.index li {
  clear: both;
  margin: 1em 0 0 0;
  padding: 0 0.1em 0 0;
}
ul.index li ul{
  clear: both;
}
ul.index li ul li {
  margin: 0 0 0 0;
}
ul.index li .title {
  font-weight: bold;
  font-family: Georgia, "Times New Roman", Times, serif;
}
img.index {
  float: left;
  border: none;
  margin: 0 1em 1em 0;
  max-height: 6em;
}
.go {
  font: bold 80% Tahoma, Lucida, Helvetica, Arial, sans-serif;
  float: right;
}
.annotation {
  font-style: italic;
  font-family: Georgia, "Times New Roman", Times, serif;
}
.body p {
  text-indent: 2em;
}
ul.TOC, ul.TOC li ul {
  list-style-type: none;
}
blockquote {
  margin: 0.5em 2em;
  font-family: Georgia, "Times New Roman", Times, serif;
  font-style: italic;
}
cite.block {
  display: block;
  text-align: right;
  font-style: normal;
}
pre {
  margin: 0.5em 0em;
  padding: 0.5em;
  border: thin outset;
  background-color: #eee;
}
.prompt {
  color: blue;
}
.stdout {
  color: teal;
}
.stderr {
  color: red;
}
/* vim: set sts=2 sw=2 ai et: */