/* $Header$ */

body {
  background: #ffffff;
  color: navy;
  padding: 3px;
  margin-left: 10%;
  font-family: sans-serif;
}

h1 {
  background-color: #ccccff;
  padding: 3px;
}

h2 {
  color: #aaaaff;
  padding: 3px;
}

h3 {
  color: #ddddff;
  padding: 3px;
}

pre {
  background-color: #f4f4f4 ;
  padding: 3px;
}

address {
  background-color: #ccccff;
  padding: 3px;
}

cite  {
}

code  {
}

div   {
  padding: 3px;
  margin-bottom: 1%;
}

div.navigation   {
  border-style: solid;
  border-width: thin;
  border-color: navy;
  background-color: #f0f0ff;
  padding: 3px;
  position: fixed ;
}

div.schema   {
  color: navy;
  background-color: #f8f8ff;
  padding: 1%;
  position: fixed ;
  margin-left: 2%;
}

li    {
  padding: 3px;
}

ul  {
  padding: 3px;
  list-style-position: inside ;
  list-style-type: circle ;
}

strong  {
  font-weight: bold;
 }

table  {
  padding: 3px;
}

td  {
  vertical-align: top;
  padding: 3px;
}

tr   {
  padding: 3px;
}

em {
  color: green;
  font-style: normal;
}

a:link {
  color: #0000ff;
}

a:visited {
  color: #ff0000;
}

a:active {
  color: #00ff00;
}

a:hover {
  background: silver;
  //background: #8080ff;
  text-decoration: none;
}