body
{ 

  background-color: #9999FF;
  margin: 0px;
  padding: 0px;
  text-align:center;
  margin: 25;
}

h1
{
  width: 900px;
  margin-left: auto;
  margin-right: auto;
  padding: 25;
  background-color: white;
  border: 2px solid;
  border-color: #000;

}

div
{
  width: 900px;
  margin-left: auto;
  margin-right: auto;
  padding: 25;
  min-height: 200px;
  background-color: white;
  border: 2px solid;
  border-color: #000;
}

ol
{
  text-align: left;
}

.error
{
   font-weight: bold;
   color: red;
}

body.fancy
{
    background-color: #FCFFFF;
}


table.fancy
{
    border: 1px solid black;
    background-color: #999999;
    margin-left:auto; 
    margin-right:auto;
}



.alt1
{
    padding: 5px;
    background-color: #FFFFCC;
//    color: red;
}

.alt2
{
    padding: 5px;
    background-color: #CCCCCC;
//    color: blue;
}

.machineclass3
{
//    background-color: #FCF22F;
    text-align: center;
}

.machineclass6
{
    text-align: center;
}


.machineclass8
{
//    background-color: #FCF22F;
    text-align: right;
}