body, #container {
  background: #444444;
  color: black;
  margin: 0;
  padding: 0;
  font-size: 14px;
  font-family: Arial, Helvetica, sans-serif;
  line-height: 1.5; }

.sub {
  width: 860px;
  margin: 0 auto;
  position: relative; }

#header {
  height: 178px;
  background: url(header.gif) left bottom repeat-x;
  border-bottom: 6px solid #61a098; }
  #header h1 {
    width: 283px;
    overflow: hidden;
    margin: 0;
    padding: 0;
    background: url(title.gif) left top no-repeat;
    position: absolute;
    left: 0;
    top: 18px; }
    #header h1 a {
      display: block;
      height: 160px;
      margin: 0;
      padding: 0;
      text-indent: -9999em;
      background: none; }
  #header #tom-link {
    position: absolute;
    left: 292px;
    top: 124px;
    background: url(tom.gif) left top no-repeat; }
    #header #tom-link a {
      display: block;
      width: 119px;
      padding-top: 18px;
      height: 0;
      overflow: hidden; }
    #header #tom-link a:hover {
      background: transparent; }

#footer {
  color: white;
  padding: 22px 0;
  border-top: 6px solid #61a098; }
  #footer a {
    color: #c2ece7;
    text-decoration: none; }
  #footer a:hover {
    color: white;
    background: #61a098; }

.clear {
  clear: both;
  height: 0;
  overflow: hidden; }

#main {
  background: white url(main-shadow.gif) center top repeat-x;
  margin: 0;
  padding: 18px 0; }

#content {
  float: left;
  width: 568px; }
  #content a {
    text-decoration: underline; }

#sidebar {
  float: right;
  width: 276px; }
  #sidebar a {
    text-decoration: none; }
  #sidebar #download {
    margin-top: 21px; }
    #sidebar #download a {
      display: block;
      background: url(download.gif) center top no-repeat;
      font-size: 24px;
      padding-top: 94px;
      height: 36px;
      text-align: center;
      color: black; }
  #sidebar h4 {
    font-size: 16px;
    line-height: 21px;
    margin: 21px 0 21px 48px; }
  #sidebar ul {
    padding-left: 32px; }
  #sidebar #osi-link {
    text-align: center; }

tt, pre, code {
  font-family: Bitstream Vera Sans Mono, Monaco, Consolas, Courier, monospace; }

#example {
  position: relative;
  font-size: 36px;
  font-style: italic;
  font-family: Georgia, Times New Roman, serif; }
  #example #run-this-code {
    position: absolute;
    left: 0;
    top: 0;
    background: #807065;
    color: white;
    padding: 2px 4px;
    cursor: pointer;
    text-decoration: none;
    font-size: 11px;
    font-weight: bold;
    font-style: normal;
    font-family: Arial, Helvetica, sans-serif; }

#front-example {
  font-size: 14px;
  font-style: normal;
  overflow: hidden;
  padding-top: 28px; }

#content tt, #content code {
  background: #eeeeee;
  color: #444444;
  font-size: 0.8em; }

pre {
  background: white;
  color: black;
  font-size: 0.9em;
  padding: 1em 0;
  border: 2px solid #cccccc; }

p, ul, pre {
  margin: 22px 0; }

ul, li {
  list-style: circle outside;
  padding: 0; }

li {
  margin-left: 32px; }

ul ul {
  margin: 0; }

a {
  color: #61a098;
  font-weight: bold; }

a:hover {
  background: #61a098;
  color: white;
  text-decoration: none; }

a img {
  border: 0; }

h3 {
  margin: 22px 0;
  font-size: 22px;
  font-family: Arial, Helvetica, sans-serif;
  font-weight: bold;
  line-height: 1em;
  letter-spacing: -0.04em;
  border-top: 2px solid #eeeeee; }