BODY            {   font-family: Georgia, Verdana, Tahoma, Arial, sans-serif; }
    DIV.headera     {   font-size:  large;     }
    DIV.code        {   background-color: #ABC6FF   }
    P               {   text-align: justify;  }