body
{
  background-color: #F0FFFF;
/*
  color: #000000;
*/
}

h1, h2
{
  background-color: #BCD2EE;
}

a:link {color: #4F94CD}
a:visited {color: #5CACEE}
/*a:hover {color: #4F94CD}
a:active {color: #0000ee}*/

table
{
  text-align: left;
  width: 100%;
/*  border: 1px solid;*/
  border-collapse: collapse;
}

th, td
{
  border: 1px solid;
  padding: 1px;
/*
  spacing: 0px;
*/
}

span.todo
{
  font-style: italic;
  font-weight: bold;
}

span.example
{
  font-style: italic;
}

div.diagram
{
  text-align: center;
}

span.legend
{
  font-weight: bold;
}