* {
  font-family: Consolas, Monaco, Helvetica, Arial, sans-serif;
  font-size: 1em;
}
table {
  border-collapse: separate;
  vertical-align: top;
  border-top: 1px solid gray;
  border-bottom: 1px solid gray;
}
thead {                                                                                                                  
  font-style: bold;
}
thead.methodheader {
  display: none;
}
tfoot tr td {
  border-top: 1px solid gray;
  font-style: normal;
}
tbody tr td {
  font-style: normal;
  padding-left: 0px;
  padding-top: 0px;
  padding-right: 0px;
  padding-bottom: 0px;
  margin-left: 0px;
  margin-top: 0px;
  margin-right: 0px;
  margin-bottom: 0px;
}
td.methodlinenumber {
  margin-top: 0px;
  margin-bottom: 0px;
  margin-left: 5px;
  margin-right: 5px;
  padding-left: 5px;
  padding-right: 5px;
  text-align: right;
  color: white;
  background: gray;
  border-top: 1px solid gray;
  border-bottom: 1px solid gray;
}
td.methodline {
  background: rgb(95%,95%,95%);
  margin-top: 0px;
  margin-bottom: 0px;
  margin-left: 2em;
  padding-left: 2em;
  text-indent: -2em;
  border-top: 1px solid rgb(95%,95%,95%);
  border-bottom: 1px solid rgb(95%,95%,95%);
}
td.methodline[level="1"] {
  margin-left: 4em;
  padding-left: 4em;
  text-indent: -4em;
}
td.methodline[level="2"] {
  margin-left: 6em;
  padding-left: 6em;
  text-indent: -6em;
}
td.methodline[level="3"] {
  margin-left: 8em;
  padding-left: 8em;
  text-indent: -8em;
}
td.methodline[level="4"] {
  margin-left: 10em;
  padding-left: 10em;
  text-indent: -10em;
}
td.methodline[level="5"] {
  margin-left: 12em;
  padding-left: 12em;
  text-indent: -12em;
}
td.methodline[level="6"] {
  margin-left: 14em;
  padding-left: 14em;
  text-indent: -14em;
}
td.methodline[level="7"] {
  margin-left: 16em;
  padding-left: 16em;
  text-indent: -16em;
}
td.methodline[level="8"] {
  margin-left: 18em;
  padding-left: 18em;
  text-indent: -18em;
}
td.methodline[level="9"] {
  margin-left: 20em;
  padding-left: 20em;
  text-indent: -20em;
}
td.methodline[level="10"] {
  margin-left: 22em;
  padding-left: 22em;
  text-indent: -22em;
}                 
span.command {
  color: navy;
  font-style: bold;
}
