a:link
{
  color: #0000ff;
}

a:visited
{
  color: #9933ff;
}

a:hover
{
  color: #ff0000;
}

body
{
  background-color: #ffffff;
  color: #000000;
  font-family: sans-serif;
}

body.menu
{
  font-size: 75%;
  margin-left: 1em;
}

code,pre
{
  color: #000099;
  font-family: monospace;
}

.contrast
{
  background-color: transparent;
  color: #000066;
  font-weight: bold;
}

em.code
{
  background-color: transparent;
  color: #000000;
  font-family: sans-serif;
}

.example
{
  background-color: #cccccc;
  border-color: #000066;
  border-style: ridge;
  border-width: 3px;
  color: #000000;
  margin: 1em auto 1em auto;
  padding: 0 0.5em 0 0.5em;
  width: 85%
}

.floatleft
{
  float: left;
  padding: 1px 1em 1px 0;
}

.floatright
{
  float: right;
  padding: 1px 0 1em 1px;
}

h1,h2,h3,h4,h5,h6
{
  background-color: transparent;
  color: #000066;
}

hr
{
  border-style: solid;
  color: #000066;
  height: 2px;
}

table.layout
{
  background-color: transparent;
  border-collapse: separate;
  padding: 0.25em;
  width: 100%;
}

td
{
  padding: 3px;
}

td.centrecode
{
  color: #000099;
  font-family: monospace;
  text-align: center;
}

td.code
{
  color: #000099;
  font-family: monospace;
}

td.lines
{
  border-color: #000066;
  border-style: solid;
  border-width: 1px;
}

td.right
{
  text-align: right;
}

th
{
  background-color: #000066;
  color: #ffffff;
  padding: 3px;
}

th.code
{
  font-family: monospace;
}

tr
{
  vertical-align: top;
}

tr.bottom
{
  vertical-align: bottom;
}