/* anchor pseudo-class */
        A:link    {
                  color: blue;
                  background: white; 
                  }
        A:visited {
                  color: blue;
                  background: white; 
                  } 
        A:active  {
                  color: blue;
                  background: white; 
                  }  
        A:hover   {
                  color:red;
                  background: white;
                  }  
           
        /* text specifications for class navigation */
        .navigation  { 
                     font-family: arial, helvetica, sans-serif; 
                     font-style: normal;
                     font-variant: normal;
                     font-weight: normal;
                     font-size:  13px;
                     text-decoration: none;
                     }

        /* text specifications class gray_text */
        .grayText    { 
                     font-family: arial, helvetica, sans-serif; 
                     font-style: normal;
                     font-variant: normal;
                     font-weight: normal;
                     font-size: 13px;
                     text-decoration: none;
                     color: gray;
                     background: white;      
                     }

        /* text specifications class black_title */
        .blackTitle  { 
                     font-family: verdana, arial, helvetica, sans-serif; 
                     font-style: normal;
                     font-variant: normal;
                     font-weight: bold;
                     font-size: 18px; 
                     color: black;  
                     background: white;          
                     }

        /* text specifications class red_title */
        .redTitle    { 
                     font-family: verdana, arial, helvetica, sans-serif; 
                     font-style: normal;
                     font-variant: normal;
                     font-weight: bold;
                     font-size: 18px; 
                     color: red;  
                     background: white;          
                     }

        /* text specifications class normal_text */
        .normalText  { 
                     font-family: verdana, arial, helvetica, sans-serif; 
                     font-style: normal;
                     font-variant: normal;
                     font-weight: normal;
                     font-size: 13px;
                     text-decoration: none;
                     color: black; 
                     background: white; 
                     }

        /* text specifications class red_text */
        .redText     { 
                     font-family: verdana, arial, helvetica, sans-serif; 
                     font-style: normal;
                     font-variant: normal;
                     font-weight: normal;
                     font-size: 13px;
                     text-decoration: none;
                     color: red; 
                     background: white; 
                     }

        /* text specifications class small_text */
        .smallText   { 
                     font-family: verdana, arial, helvetica, sans-serif; 
                     font-style: normal;
                     font-variant: normal;
                     font-weight: normal;
                     font-size: 10px;
                     text-decoration: none;
                     color: black;
                     background: white; 
                     }