body {
  margin-top: 10px;
  margin-right: 20px;
  margin-bottom: 20px;
  margin-left: 20px;
  font-family: Arial, Helvetica, sans-serif;
  font-weight: normal;
}

a:link {
  text-decoration: none;
}

a:visited {
  text-decoration: none;
}

a:hover {
  text-decoration: none;
}

a.dash:link {
  border-bottom: 1px dashed;
}

a.dash:visited {
  border-bottom: 1px dashed;
}

a.dash:hover {
  border-bottom: 1px solid;
}

h1, h2, h3, h4, h5, h6 {
  font-family: "Trebuchet MS", Verdana, "Lucida Sans", Arial, Geneva, Helvetica, Helv, "Myriad Web", Syntax, sans-serif;
  font-weight: normal;
}

.head, .headbox, .dynabox, a.leftmenu, a.topmenu {
  font-weight: bold;
  text-decoration: none;
  font-size: 80%;
  font-family: Verdana, "Lucida Sans", Arial, Geneva, Helvetica, Helv, "Myriad Web", Syntax, sans-serif;
}

.caption {
  font-size: 80%;
  margin-bottom: 30px;
  margin-top: 1px;
  width: 80%
}

.code {
  font-family: monospace;
  font-size: 125%
}

.samplecode {
  font-family: monospace;
  overflow: scroll;
}

.samplecode pre {
  width: 400px;
}

a {
  color: #000000;
}

.topnav a:hover, .dynabox .headbox a:hover {
  color: #ffffff;
}

.pos0, body {
  background-color: #ffffff;
  color: #000000;
}

.pos1, .mainbox, .dynabox, a.leftmenu:link, a.leftmenu:visited {
  background-color: #d0e1f5;
  border: #000000;
  color: #000000;
}

.pos2, .topnav, a.leftmenu:hover {
  background-color: #98c2f0;
  color: #000000;
  border: #000000;
}

.neg0 {
  background-color: #000000;
}

.neg1, a.topmenu:hover {
  background-color: #4d75a0;
  color: #ffffff;
  border: #000000;
}

.neg2, .headbox, .headbox a, a.topmenu:link, a.topmenu:visited {
  background-color: #7d9fc4;
  color: #ffffff;
  border: #000000;
}

.samplecode {
  background-color: silver;
}

a.leftmenu:link {
  display: block;
  padding-top: 2px;
  padding-right: 2px;
  padding-bottom: 2px;
  padding-left: 2px;
  border-style: solid;
  border-top-width: 0;
  border-right-width: 1px;
  border-bottom-width: 1px;
  border-left-width: 1px;
  width: 145px;
  font-weight: normal;
  text-align: left;
}

a.leftmenu:hover {
  display: block;
  padding-top: 2px;
  padding-right: 2px;
  padding-bottom: 2px;
  padding-left: 2px;
  border-style: solid;
  border-top-width: 0;
  border-right-width: 1px;
  border-bottom-width: 1px;
  border-left-width: 1px;
  width: 145px;
  font-weight: normal;
  text-align: left;
}

a.leftmenu:visited {
  display: block;
  padding-top: 2px;
  padding-right: 2px;
  padding-bottom: 2px;
  padding-left: 2px;
  border-style: solid;
  border-top-width: 0;
  border-right-width: 1px;
  border-bottom-width: 1px;
  border-left-width: 1px;
  width: 145px;
  font-weight: normal;
  text-align: left;
}

a.topmenu:link {
  display: inline;
  padding-top: 5px;
  padding-right: 0;
  padding-bottom: 5px;
  padding-left: 0;
  border-style: solid;
  border-top-width: 0;
  border-right-width: 0;
  border-bottom-width: 0;
  border-left-width: 1px;
  text-align: center;
}

a.topmenu:hover {
  background-color: #4d75a0;
  display: inline;
  padding-top: 5px;
  padding-right: 0;
  padding-bottom: 5px;
  padding-left: 0;
  border-style: solid;
  border-top-width: 0;
  border-right-width: 0;
  border-bottom-width: 0;
  border-left-width: 1px;
  text-align: center;
}

a.topmenu:visited {
  display: inline;
  padding-top: 5px;
  padding-right: 0;
  padding-bottom: 5px;
  padding-left: 0;
  border-style: solid;
  border-top-width: 0;
  border-right-width: 0;
  border-bottom-width: 0;
  border-left-width: 1px;
  text-align: center;
}

.headbox {
  display: block;
  padding-top: 2px;
  padding-right: 2px;
  padding-bottom: 2px;
  padding-left: 2px;
  border-top-width: 1px;
  border-right-width: 1px;
  border-bottom-width: 1px;
  border-left-width: 1px;
  border-style: solid;
  width: 145px;
  text-align: left;
}

.samplecode {
  display: block;
  padding-top: 2px;
  padding-right: 2px;
  padding-bottom: 2px;
  padding-left: 2px;
  border-top-width: 1px;
  border-right-width: 1px;
  border-bottom-width: 1px;
  border-left-width: 1px;
  border-style: solid;
  width: 80%;
  text-align: left;
}

.topbox {
  border: 1px solid;
  height: 55px;
  padding-top: 5px;
  padding-left: 5px;
  padding-right: 5px;
  padding-bottom: 0;
}

.topnav {
  border: solid;
  border-width: 0 1px 1px;
  padding-top: 3px;
  padding-bottom: 0;
}

.mainbox {
  border: solid;
  border-width: 1px 1px 1px 1px;
  padding-top: 5px;
  padding-left: 5px;
  padding-right: 5px;
  padding-bottom: 5px;
}

.mainbox p a, .mainbox ul li a {
  text-decoration: underline;
}

.mainbox table {
  width: 80%;
  border-collapse: collapse;
  font-size: 80%;
}

.mainbox th, .mainbox td {
  border: 1px solid black;
}

.head a {
  text-decoration: underline;
}

.dynabox {
  border: 1px dashed;
  text-align: center;
}

.dynabox .headbox {
  border-style: dashed;
  border-top-style: solid;
  border-right-width: 0;
  border-left-width: 0;
  padding-top: 3px;
  padding-left: 0;
  padding-right: 0;
  padding-bottom: 3px;
}

.dynacontent {
  padding-top: 3px;
  padding-left: 5px;
  padding-right: 5px;
  padding-bottom: 3px;
  text-align: left;
  font-size: 70%;
  font-weight: normal;
}