/* 
  $Id: od.css,v 1.3 2004/09/21 06:50:19 egor_starostin Exp $
*/
body {
  font:	12px/1.2 Verdana, Arial, Helvetica, sans-serif;
  background: #ddd;
  padding: 0px;
  margin: 0px;
  line-height: 130%;
}

#menu {
  width: 240px;
  padding: 10px;
  margin-left: 20px;
  margin-right: -3px;
  border-top: 1px solid #000;
  border-bottom: 1px solid #000;
  border-right: 10px solid #000;
  border-left: 1px solid #000;
  float: right;
}

#content {
  margin-right: 10%;
  margin-left: 5%;
  margin-top: 5%;
  padding-bottom: 10px;
  background: #fff;
  border: 1px solid #000;
  text-align: justify;
  min-width: 500px;
}

#title h1 {
  font-size: 18px;
  border-top: 1px solid #000;
  border-bottom: 1px solid #000;
  border-right: 10px solid #000;
  border-left: 10px solid #000;
  margin-top: 10px;
  padding-left: 10px;
  padding-right: 10px;
  padding-top: 5px;
  padding-bottom: 5px;
}

#title {
  padding: 0px;
  margin-right: -6px;
  margin-left: -6px;
}

.unimportant {
  color: #aaa;
}

.noteright {
  color: #0a0;
}

.notewrong {
  color: #f00;
}

#lnext {
  margin-top: 0px;
  margin-bottom: 10px;
  padding: 0px 0px 0px 0px;
  float: right;
}

#lprev {
  margin-top: 0px;
  margin-bottom: 10px;
  padding: 0px 0px 0px 0px;
  float: left;
}

li {
 padding: 0px 10px 0px 0px;
}

p,h1,h2,h3,h4 {
  margin-top: 0px;
  margin-bottom: 10px;
  padding: 0px 20px 0px 20px;
}

pre {
  margin: 5px 10px 5px 10px;
  padding: 10px 20px 10px 20px;
  background: #eee;
}

.boundary {
  font-size: 150%;
  color: #369;
  margin: 40px 4px 8px 4px;
  text-decoration: dotted underline;
}

.cpright {
  font-size: 80%;
  text-align: center;
  color: #444;
  margin: 0px 4px 0px 4px;
  padding: 4px 4px 0px 4px;
  border-top: dotted 1px #444;
}

A:visited { font-weight: bold; color: #999; text-decoration:underline; }
A:hover { font-weight: bold; color:#F00; text-decoration:underline; }
A:link { font-weight: bold; color:#000; text-decoration:underline; }