/* line 8 */
* {
  opacity: 1.0;
  text-shadow: rgba(0, 0, 0, 0.1) 0px 0px 1px;
}

/* line 12 */
body {
  margin: 0;
  padding: 0;
  color: #1f232b;
  background: #f6f9ff url(/stylesheets/sidebar.gif) left top repeat-y;
}

/* line 18 */
a {
  color: #e41c20;
  font-weight: bold;
  text-decoration: none;
}

/* line 23 */
a:hover {
  color: #1f232b;
}

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

/* line 31 */
#sidebar {
  float: left;
  margin-right: 64px;
  width: 256px;
  font-family: FreeSans;
}
/* line 37 */
#sidebar h1 {
  margin: 0;
  padding: 0;
  width: 240px;
  background: url(/stylesheets/logo.gif);
}
/* line 43 */
#sidebar h1 a {
  display: block;
  height: 0;
  overflow: hidden;
  padding-top: 240px;
}
/* line 49 */
#sidebar #download {
  background: url(/stylesheets/download.gif);
}
/* line 51 */
#sidebar #download a {
  display: block;
  padding: 8px 24px;
  font-size: 24px;
  font-weight: bold;
  text-decoration: none;
  color: white;
}
/* line 59 */
#sidebar h4 {
  margin: 24px 16px 24px 24px;
  border-bottom: 1px solid #494f5a;
  color: #f6f9ff;
}
/* line 64 */
#sidebar ul, #sidebar li {
  list-style: none;
  margin: 0;
  padding: 0;
}
/* line 69 */
#sidebar ul {
  margin: 0 24px 24px;
}
/* line 72 */
#sidebar a {
  color: #848a95;
  display: block;
  padding: 2px 0;
  font-weight: normal;
  font-size: 90%;
}
/* line 79 */
#sidebar a:hover {
  color: #f6f9ff;
}

/* line 82 */
#content {
  float: left;
  width: 640px;
}
/* line 86 */
#content h2 {
  font-size: 48px;
  margin: 1em 0 24px;
  border-bottom: 2px solid #494f5a;
}
/* line 91 */
#content h3 {
  margin: 24px 0;
  padding: 0.5em 0 0;
  border-top: 1px solid #848a95;
  font-size: 20px;
  font-weight: bold;
}
/* line 98 */
#content blockquote {
  margin: 0;
  padding-left: 24px;
  border-left: 2px solid #e41c20;
}
/* line 103 */
#content p, #content ul, #content li {
  font-size: 16px;
  line-height: 1.5em;
}
/* line 107 */
#content p, #content ul {
  margin: 1.5em 0;
}
/* line 110 */
#content code {
  font-family: Courier New, monospace;
  font-weight: bold;
}
/* line 114 */
#content pre {
  font-family: Courier New, monospace;
  font-size: 12px;
  line-height: 1.5em;
  border: 1px solid #848a95;
  background: white;
  padding: 1em 2em;
  margin: 1.5em 0;
}
/* line 123 */
#content #footer {
  border-top: 1px solid #494f5a;
  margin: 48px 0 24px;
}