/*
 * style.css
 *
 * $Revision$
 * $Date$
 */

body {
  background: rgb(100%, 100%, 100%);
  color: black;
  margin-left: 2%;
  margin-right: 2%;
}

h1 {
  text-align: center;
  background: rgb(70%, 90%, 70%);
  border-color: rgb(60%, 80%, 60%);
  border-width: medium;
  border-style: solid;
}

h2 {
  padding: 0px 10px 0px 10px;
  background: rgb(80%, 95%, 80%);
  border-color: rgb(60%, 80%, 60%);
  border-width: medium;
  border-style: solid;
}

h3 {
  padding: 0px 10px 0px 10px;
  background: rgb(90%, 100%, 90%);
  border-color: rgb(80%, 90%, 80%);
  border-width: medium;
  border-style: solid;
}


p {
  background: rgb(100%, 100%, 90%);
/*
  border-color: rgb(100%, 100%, 50%);
  border-width: 1px;
  border-style: solid;
*/
}


dl {
  border-color: rgb(100%, 60%, 60%);
  border-width: 1px;
  padding: 2px 10px 2px 10px;
  border-style: dashed;
}


/* End of style.css */