body {
  font-family: sans-serif;
}
h1 { color: #0018e6; }
h2 { color: #0018e6; }
h3 { color: #0018e6; }
a:link {
  text-decoration: none;
  color: #0018e6;
}
a:visited {
  text-decoration: none;
  color: #6078e6;
}
a:hover {
  text-decoration: underline;
}
div.header {
  margin-bottom: 0.5em;
  background-color: #e5e5e5;
}
table {
  border-collapse: collapse;
  border: solid 1px #0018e6;
}
td {
  border: solid 1px #0018e6;
  padding-top: 0.2em;
  padding-bottom: 0.2em;
  padding-left: 0.4em;
  padding-right: 0.4em;
  vertical-align: top;
}
span.code {
  font-family: monospace;
  font-size: 110%;
}
span.param {
  font-family: monospace;
  font-size: 110%;
  padding-left: 2em;
}
span.attr {
  font-weight: bold;
  padding-right: 0.5em;
}
div.function {
  background-color: #d0d0ff;
  margin-top: 1em;
}
div.function div.comment {
  background-color: white;
  padding-left: 1em;
}
div.comment {
  margin-top: 0.5em;
}
span.inherit {
  font-style: italic;
}
div.header a {
  margin-left: 0.25em;
  margin-right: 1em;
}
div.footer {
  margin-top: 1em;
  font-size: 80%;
  background-color: #e5e5e5;
}
pre {
  background-color: #e5e5e5;
}