/* Revision #4, 10-Mar-2007. */

body
{
  background-color: rgb(80%, 100%, 80%);
  text-align: justify;
}

p.crumbs
{
  background-color: rgb(100%, 100%, 80%);
}

p.links
{
  background-color: rgb(80%, 100%, 100%);
}

p.generator
{
  font-style: italic;
  font-size: 75%;
  color: rgb(50%, 50%, 50%);
}


pre
{
  background-color: rgb(80%, 100%, 100%);
  color: rgb(0%, 0%, 80%);
  margin-left:  1em;
  margin-right: 1em;
  padding-left:  0.2em;
  padding-right: 0.2em;
  border-style: solid;
  border-width: 1pt;
  border-color: rgb(0%, 0%, 50%);
}


p.math
{
  background-color: rgb(100%, 80%, 80%);
  margin-left:  1em;
  margin-right: 1em;
  padding-left:  0.2em;
  padding-right: 0.2em;
  border-style: solid;
  border-width: 1pt;
  border-color: rgb(50%, 0%, 0%);
}

p.math > span.text
{
  color: rgb(50%, 0%, 0%);
  padding-left:  1em;
  padding-right: 1em;
}


ul.log > li.entry > span.date
{
  font-weight: bold;
  color: rgb(50%, 0%, 0%);
}


em.term
{
  color: rgb(50%, 0%, 0%);
}


code
{
  color: rgb(0%, 0%, 80%);
}


span.math
{
  color: rgb(0%, 20%, 0%);
}