body {
  background: url(images/back.jpg);
  padding: 0;
  margin: 0;
  font-family: helvetica, verdana, arial, sans-serif;
  height: 768px;
}

a {
  font-style: italic;
  color: #111;
}

#linkbar a {
  margin: 0px 12px 0px 12px;
}

a:link {
  text-decoration: underline;
}

#top {
  margin: 8px 12px 8px 12px;
  padding: 24px 4px 4px 4px;
  border-left: 1px dotted #bb0;
}

#ai {
  float: left;
  background: url(images/bigai.png) no-repeat right;
  height: 120px;
  width: 264px;
  margin: 0px 0px 0px 0px;
  padding-left: 24px;
  border-left: 1px dotted #993;
}

#figures {
  background: url(images/figures.png) no-repeat right;
  height: 168px;
}

#main {
  width: 100%;
  height: 384px;
  background: #777;
}

#linkbar {
  background: url(images/linkback.png);
  height: 32px;
  width: 100%;
  font-size: 14px;
  text-align: right;
  color: #000;
  padding: 8px 0px 8px 0px;
}

#textbox {
  float: left;
  background: #bbb;
  margin: 2px 12px 12px 36px;
  padding: 0px 0px 0px 0px;
  width: 71%;
  height: 288px;
}

#textbox h1 {
  padding: 2px 0px 2px 0px;
  margin: 0;
  width: 100%;
  background: url(images/back.jpg);
  font-size: 14px;
  text-align: center;
  color: #ddd;
}

#textbox p {
  font-size: 14px;
  margin: 12px 8px 12px 8px;
}

p.right {
  text-align: right;
}

p.pad {
  height: 12px;
}

p.indent {
  padding-left: 24px;
}

#textbox #scrollwin {
  height: 100%;
  background: #bbb;
  overflow: auto;
}

td.tree {
  border-bottom: 1px solid #000;
}

td a, td p {
  font-size: 13px;
  font-style: normal;
  margin: 2px 8px 13px 14px;
  padding: 10px 0px 0px 8px;
}

a.nest1 {
  font-size: 13px;
  font-style: normal;
  margin: 2px 8px 12px 14px;
  padding: 10px 0px 0px 8px;
  border-left: 1px solid #000;
  border-bottom: 1px solid #000;
}

a.nest2 {
  font-size: 12px;
  font-style: normal;
  margin: 12px 8px 12px 24px;
  padding: 10px 0px 0px 16px;
  border-left: 1px solid #000;
  border-bottom: 1px solid #000;
}

a.light {
  color: #aaa;
}

a.super {
  padding-left: 0;
  margin-left: 0;
  vertical-align: super;
}

div.minibox {
  float: right;
  background: #bbb;
  margin: 2px 36px 12px 12px;
  padding: 0px 0px 0px 0px;
  width: 15%;
  text-align: center;
}

div.minibox h1 {
  padding: 2px 0px 2px 0px;
  margin: 0;
  width: 100%;
  background: url(images/back.jpg);
  font-size: 14px;
  text-align: center;
  color: #ddd;
}

div.minibox p {
  font-size: 14px;
  margin: 8px 0px 8px 0px;
  padding: 0px 0px 0px 0px;
}