p { font-size: 12pt; 
    font-family: arial,sans-serif,helvetica,verdana,geneva; 
    font-weight: bold;
  }

p.kl { font-size: 12pt; 
    font-family: Times New Roman, georgia, times,serif; 
    font-weight: bold;
  }


pre { font-size: 12pt; 
      font-family: Times New Roman, georgia, times, serif; 
      font-weight: bold;
      color: black;
}

h1 { font-size: 26pt; 
     font-family: Times New Roman, georgia, times, serif; 
     font-weight: bold;
   }

h2 { font-size: 12pt;
     font-family: arial,helvetica,verdana,geneva;
     font-weight: bold;
     color: black;
}

h4 { font-size: 12pt;
     font-family: Times New Roman, georgia, times, serif;
     font-weight: bold;
     color: black;
}

a:link { color: black; text-decoration:none; }
a:visited { color: black; text-decoration:none; }
a:active { color: black; text-decoration:none; }
A:hover  { color: gray; text-decoration:none; }