body {
   background-color: #BACDA2;
   color: #002000;
   font-family: Verdana, Arial, Helvetica, sans-serif;
   font-size: 14px;
   text-align: justify;
}
h1 {
   font-family: Verdana;
   font-weight: bold;
}
code {
   color: Navy;
   font-weight: bold;
}
kbd {
   color: Purple;
   font-weight: bold;
}
pre {
   background-color: #001000;
   color: #70FF40;
   font-weight: bold;
}
a:link {
   color: #000060;
}
a:visited {
   color: #000060;
}
a:hover {
   color: #500000;
}
a:active {
   color: #D00000;
}

.state_error
{
 background-color: #FF7777;
}

.state_waitdep
{
 background-color: #BBAABB;
}

.state_waittime
{
 background-color: #AAAAFF;
}

.state_running
{
 background-color: #A5FF7F;
}

.state_done
{
 background-color: #A0BB90;
}

.state_offline
{
 background-color: #888888;
}

.state_nimby
{
 background-color: #BBAABB;
}