/* line 1 */
#query {
  line-height: 25px;
}

/* line 5 */
#docs {
  font-family: sans-serif;
  line-height: 1.4em;
}
/* line 9 */
#docs #banner {
  background: black;
  color: #F2F2F2;
  line-height: 1.2em;
  padding: .3em 0;
  box-shadow: 0 5px 10px black;
}
/* line 16 */
#docs #banner a {
  color: #00B140;
}
/* line 19 */
#docs #main {
  text-align: left;
  margin: 0 auto;
  min-width: 32em;
  max-width: 64em;
}
/* line 25 */
#docs #menu {
  float: right;
  width: 11em;
  padding: 0 .5em 1em .5em;
  border-left: 2px solid #DDD;
}
/* line 31 */
#docs #content {
  margin-right: 13.5em;
  padding: 0 .2em 0 1.5em;
}
/* line 35 */
#docs h1 {
  display: block;
  text-align: left;
  height: .7em;
  margin-bottom: .5em;
}
/* line 41 */
#docs h1 img {
  width: 100%;
}
/* line 44 */
#docs h2 {
  text-align: center;
}
/* line 47 */
#docs p {
  text-align: justify;
}
/* line 50 */
#docs table.news p {
  margin-top: 0;
}
/* line 53 */
#docs table.news td {
  vertical-align: baseline;
}
/* line 56 */
#docs table.news .date {
  text-align: right;
  padding-right: 0.5em;
  white-space: nowrap;
}
/* line 61 */
#docs table.donors td {
  vertical-align: baseline;
}
/* line 64 */
#docs table.donors li {
  text-align: left;
}
/* line 67 */
#docs div.directive {
  background: #F2F2F2;
  padding: .7em .7em .7em 1em;
  border-top: 2px solid #DDD;
  margin-top: 40px;
}
/* line 73 */
#docs div.directive th {
  padding-left: 0;
  padding-right: .5em;
  vertical-align: baseline;
  text-align: left;
  font-weight: normal;
}
/* line 80 */
#docs div.directive td {
  vertical-align: baseline;
}
/* line 83 */
#docs div.directive pre {
  padding: 0;
  margin: 0;
}
/* line 87 */
#docs div.directive p {
  margin: .5em 0 0 .1em;
  font-size: .8em;
}
/* line 91 */
#docs a.notrans {
  color: gray;
  text-decoration: none;
}
/* line 95 */
#docs span.initial {
  font-size: 200%;
  float: left;
  padding-right: 10pt;
}
/* line 100 */
#docs ul,
#docs ol {
  margin: .5em 0 1em 1em;
  padding: 0 .5em;
}
/* line 105 */
#docs ol {
  list-style-position: inside;
}
/* line 108 */
#docs li {
  text-align: justify;
  padding: .5em 0 0 1px;
}
/* line 112 */
#docs .compact li {
  padding-top: 0;
}
/* line 115 */
#docs dl {
  margin: .5em 0 1em 0;
}
/* line 118 */
#docs dt {
  margin: .5em 0;
}
/* line 121 */
#docs .compact dt {
  margin-bottom: .2em;
}
/* line 124 */
#docs dd {
  margin-left: 1.5em;
  padding-left: 1px;
  text-align: justify;
}
/* line 129 */
#docs td.list {
  background: #F2F2F2;
}
/* line 132 */
#docs blockquote {
  margin: 1em 0 1em 1em;
  padding: .5em;
}
/* line 136 */
#docs li blockquote,
#docs dd blockquote {
  margin: .7em 0;
}
/* line 140 */
#docs blockquote.note {
  border: 1px dotted #999;
  line-height: 1.2em;
  text-align: justify;
}
/* line 145 */
#docs blockquote.example {
  line-height: 1em;
  border-left: 1px solid #BBB;
}
/* line 149 */
#docs blockquote.example pre {
  padding: 0;
  margin: 0;
}
/* line 153 */
#docs sup {
  font-size: 50%;
}