body {
  margin: 0;
}

div.upper_margin {
  height: 10px; width: 100%;
  background: white;
  position: fixed;
}

div.header {
  position: fixed;
  top: 10px;
  left: 0px;
  right: 0px;
}

div.title {
  position: relative;
  background: white;
  margin-right: 180px;
  text-align: right;
  font-weight: bold;
  font-size: 24px;
  left: 170px;
}

div.logo {
  margin: 10px;
  margin-top: -30px;
  margin-left: 15px;
  margin-right: 0;
  background: url(images/LinePixel.gif);
  height: 60px;
  padding: 0;
}

div.logo img {
  margin-left: -3px;
  float: left;
}

div.top_edge {
  background: url(images/content_top.png) no-repeat;
  background-position: bottom;
  padding-top: 60px;
  margin: 0 auto;
  margin-left: 150px;
  width: 800px;
  height: 40px;
}

/* Slight adjustment for Internet Explorer < 7 */
* html div.top_edge {
  margin-top: -55px;
}

div.main_area {
  background: url(images/content_line.png);
  padding-left: 40px;
  padding-right: 40px;
  margin: 0 auto;
  margin-left: 150px;
  width: 720px;
}

/* Hack for Internet Explorer < 7 */
* html div.main_area {
  width: 800px;
}

div.bottom_edge {
  background: url(images/content_bottom.png);
  width: 800px; height: 40px;
  margin: 0 auto;
  margin-left: 150px;
}

h1, h2 {
  margin: 0; padding: 0;
}

h1, h2, h3 {
  color: #15501a;
}

h1, h2 {
  margin-top: 20px;
}

h1.first {
  margin-top: 0;
}

div.bottom_line {
  background: url(images/LinePixel.png);
  height: 60px;
}

p {
  margin-bottom: 0;
}

img.image_right {
  float: right;
  margin: 5px;
  margin-left: 10px;
  margin-bottom: 10px;
}

table {
  margin: 20px;
  margin-left: 50px;
  border-collapse: collapse;
}

td.number {
  font-family: monospace;
  text-align: right;
}

td.code {
  font-family: monospace;
}

table.bytes td {
  border: solid black 1px;
  text-align: center;
  width: 4em;
}

table.bytes td.comment {
  text-align: left;
  padding-left: 1em;
  border: none;
  width: auto;
}

table.bytes td.a_comment {
  text-align: left;
  padding-left: 1em;
  border: none;
  width: auto;
  color: red;
}

table.bytes td.b_comment {
  text-align: left;
  padding-left: 1em;
  border: none;
  width: auto;
  color: green;
}

table.bytes td.c_comment {
  text-align: left;
  padding-left: 1em;
  border: none;
  width: auto;
  color: blue;
}

table.bytes td.a {
  background: pink;
}

table.bytes td.b {
  background: lightgreen;
}

table.bytes td.c {
  background: lightblue;
}

* html table.bytes td.w2 {
  width: 8em;
}

* html table.bytes td.w4 {
  width: 16em;
}

* html table.bytes td.b {
  width: 16em;
}

* html table.bytes td.c {
  width: 16em;
}

table.constants th {
  border: solid black 1px;
  background: #C0C0C0;
  text-align: left;
  padding: 3px;
}

table.constants tr.divide {
  border-top: solid black 3px;
}

table.constants td {
  border: solid black 1px;
  padding: 5px;
}

table.constants td.number {
  text-align: center;
}

span.definition {
  font-family: monospace;
  font-weight: bold;
  font-size: 120%;
}