/* Generated by KompoZer */
#nav {
  border: 1px dotted gray;
  padding: 10px;
  width: 220px;
  float: left;
  margin-left: 1px;
  font-weight: normal;
  font-size: 80%;
}
.con {
  border: 1px dotted gray;
  padding: 10px;
  margin-left: 250px;
  margin-right: 8px;
  margin-bottom: 8px;
}
.end {
  text-align: center;
  margin-top: 8px;
}
.code {
  border: 1px dotted gray;
  margin: 0px;
  padding: 8px;
  background-color: #eaeaea;
  font-size: 90%;
  line-height: 400%;
  font-family: "Courier New",Courier,monospace;
}
.abstract {
  text-align: justify;
  width: 85%;
}
.link {
  border: thin solid black;
  padding: 3px;
  background-color: #e6e6e6;
  margin-bottom: 5px;
  width: 210px;
  text-align: center;
  letter-spacing: 1px;
}