h1 {
  border-color: #a0a0ff;
  border-style: solid;
  border-width: 0 0 5px 0;
}

h1.func {
  border-color: #a0a0ff;
  border-style: solid;
  border-width: 0 0 5px 0;
  padding-bottom: 0px;
  margin-bottom: 1px;
}

h2 {
  border-style: solid;
  border-color: #a0a0ff;
  border-left-style: solid;
  border-width: 0px 0px 1px 0px;
}

body {
  background: white;
  color:black;
}

a {
  color:blue;
  text-decoration: none;
  padding: 1px 2px 1px 2px;
}

div.back {
  text-align: right;
  float: right;
}

a:hover {
  color:#0000a0;
  background-color:#dfdfef;
  border-width: 0 0 0 5px;
  border-style: solid;
}

a.noblock {
  color:blue;
  text-decoration: none;
  padding: 1px 2px 1px 2px;
}

a.noblock:hover {
  color:#0000a0;
  background-color:#dfdfef;
  border-width: 0 0 0 0;
  border-style: solid;
}

table {
  border-width: 0px;
  border-spacing: 3px;
  width: 80%;
  margin-left: 16px;
  color: black;
}

th {
  background-color: #e0e0ef;
  text-align: left;
  padding: 1px 1px 1px 4px;
  color: black;
}

td {
  background-color: #efefff;
  padding: 4px;
  color: black;
}

td.code {
  background-color: white;
  padding: 4px;
  border-style: dashed;
  border-width: 1px;
  border-color: #6f6f6f;
  font-family: Courier New;
}

p {
  padding-left: 16px;
}

ccb {
  color: #137CD4;
  font-weight: bold;
}

ccc {
  color: #888888;
}

cca {
  color: #000080;
}

ccd {
  color: #800000;
}
pre.code {
  padding: 4px;
  margin-left: 0px;
}

pre {
  margin-left: 16px;
}