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

/* line 25 */
.sub {
  width: 860px;
  margin: 0 auto;
  position: relative;
}

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

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

/* line 76 */
.clear {
  clear: both;
  height: 0;
  overflow: hidden;
}

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

/* line 86 */
#content {
  float: left;
  width: 568px;
}
/* line 89 */
#content a {
  text-decoration: underline;
}

/* line 92 */
#sidebar {
  float: right;
  width: 276px;
}
/* line 95 */
#sidebar a {
  text-decoration: none;
}
/* line 97 */
#sidebar #download {
  margin-top: 21px;
}
/* line 99 */
#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;
}
/* line 107 */
#sidebar h4 {
  font-size: 16px;
  line-height: 21px;
  margin: 21px 0 21px 48px;
}
/* line 112 */
#sidebar ul {
  padding-left: 32px;
}
/* line 114 */
#sidebar #osi-link {
  text-align: center;
}

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

/* line 120 */
#example {
  position: relative;
  font-size: 36px;
  font-style: italic;
  font-family: Georgia, Times New Roman, serif;
}
/* line 126 */
#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;
}

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

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

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

/* line 160 */
p, ul, pre {
  margin: 22px 0;
}

/* line 163 */
ul, li {
  list-style: circle outside;
  padding: 0;
}

/* line 167 */
li {
  margin-left: 32px;
}

/* line 170 */
ul ul {
  margin: 0;
}

/* line 173 */
a {
  color: #61a098;
  font-weight: bold;
}

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

/* line 182 */
a img {
  border: 0;
}

/* line 185 */
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;
}