/* $Id: php-style.css,v 1.16 2001/01/21 15:53:55 cmv Exp $ */

A {
    font-weight: bold;
    color: #5B69A6;
}

TD,TH {
  /*    font-family: tahoma, verdana, arial, helvetica, sans-serif; */
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: small;
  /* font-size: smaller; */
}

TD.petit,TH.petit {
  /*    font-family: tahoma, verdana, arial, helvetica, sans-serif; */
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: smaller;
}

/* Verdana, Arial, Helvetica, sans-serif */
/* letter-spacing : 1px; */

PRE {
    font-size : 13px;
}

LI {
    margin-bottom: 5px;
}

UL,OL {
    margin-top: 5px;
}

h1, h2, h3, h4, h5 {
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-weight: bold;
}
/* h1, h2, h3, h4, h5 {  font-family: Verdana, Geneva, Arial, Helvetica, sans-serif; font-weight: bold; color: #FFFFFF} */

P.verd {
  font-family: Verdana, Arial, Helvetica, sans-serif;
  /*  font-size : -1;  */
}