body       {
                background-color:#444444;
                font-family: Times;
                color: #565656;    
                margin-left:20px; 
                margin-right:20px; 
                margin-top:20px; 
                margin-bottom:20px; 
                } 
     
     a          {
                /* text-decoration:none;*/
                color: #a80000;
                }

     .asmall    {font-size: small}
     .alarge    {font-size: large}

     a:visited  {
                /* text-decoration:none;*/
                color: #a80000;
                }
            
     td         {
                color: #565656;
                }          

     address    {      
                color: #999999;
                font-size: small;
                } 
     cap        {      
                color: #999999;
                font-size: small;
                }
     cap3       {      
                color: #ba4444;
                font-size: small;
                }
     cap2        {      
                color: #999999;
                font-size: xx-small;
                }
     .text      {
                font-family: Times;
                font-size: small;
                }
       

      .link     {
                text-decoration: none;
                }

 h1,h2,h3,h4,h5 {
                font-family: Times, serif;
                color: #a80000; 
                }

      .code     {
                color: #006633;
                font-family: sans-serif;
                }
     modified   {  
                color: #999999;
                font-size: small;
                }

 
  span.keyword  {
                color: #669933;
                } /* font-lock-keyword-face */

  span.function-name {
                     color: #0000ff;
                     } /* font-lock-function-name-face */

  span.comment  {
                color: #b22222;
                } /* font-lock-comment-face */

  span.string   { 
                color: #FFFFCC;
                } /* font-lock-string-face */

  span.jde-java-font-lock-number {
                color: #bc8f8f;
                } /* jde-java-font-lock-number-face */-font-lock-number-face */

  span.variable-name {
                color: #b8860b;
                } /* font-lock-variable-name-face */

  span.type     {
                color: #6666ff;
                } /* font-lock-type-face */

  span.builtin  {
                color: #bc8f8f;
                } /* font-lock-builtin-face */