body {
  font-family: sans-serif;
  font-size: 90%;
  padding: 1em 2em;
  margin: 0;
}

h1 {
  font-size: 200%;
  padding: 0.2em 1em 0.2em 1em;
  margin: 0 -1em 0 -1em;
  background-color: #DDD;
}

h1.funcname {
  font-family: "Courier New", Courier, monospace;
  padding-bottom: 0;
}

p.description {
  padding: 0 2em 0.4em 2em;
  margin: 0 -2em 1em -2em;
  background-color: #DDD;
}

h2 {
  font-size: 120%;
  margin-top: 1em;
  margin-bottom: 0.5em;
}

p.function, tt, pre {
  font-family: "Courier New", Courier, monospace;
}

p.author {
  font-style: italic;
  font-size: 80%;
  text-align: center;
}

table {
  border-collapse: collapse;
  border-style: solid;
}

td {
  padding: 4px;
}

div.header {
  padding: 1em 2em 2em 2em;
  margin: -1em -2em 0 -2em;
  background-color: #EEE;
}

table.menu {
  padding: 0;
  margin: 0;
  border-style: none;
  width: 100%;
  font-size: 80%;
}

table.menu input {
  font-size: inherit;
}

table.menu td {
  padding: 0;
  margin: 0;
}

table.mainindex {
  width: 100%;
  border-style: none;
}

table.mainindex td {
  vertical-align: top;
}