/* Révision 1.12 du 12 novembre 2004 */
/* font-family: Comic Sans MS; font-size: 13px; */
/* [][][] Classes pour les pages standards (par defaut) [][][] */
/* Définition des styles par défaut d'une page standard */
.default { background-color: #EFEFEF;
background-image: url(images/backgrey.gif);
font-family: Verdana, Arial, Helvetica, sans-serif;
font-size: 12px;
}
/* Définition du style par défaut de la balise d'une page standard */
.default a { text-decoration: none;
}
/* Définition du style de police par défaut pour les tableaux d'une page standard */
.default table { font-size: 12px;
}
/* [][][] Classes pour les pages de type sommaire/menu [][][] */
/* Définition des styles par défaut d'une page de menu */
body.menu { background-color: #C7CEE9;
background-image: url(images/backbg.jpg);
font-family: Verdana, Arial, Helvetica, sans-serif;
font-size: 11px;
line-height: normal;
}
/* Définition du style de la balise d'une page de menu/sommaire */
body.menu a { text-decoration: none;
}
/* Définition du style pour les liens dans les tableaux d'une page de menu/sommaire */
body.menu table { font-size: 11px;
}
/* [][][] Classes pour les autres définitions de style [][][] */
.small { font-size: 10px;
font-family: Verdana, Arial, Helvetica, sans-serif;
}
.medium { font-size: 11px;
font-family: Verdana, Arial, Helvetica, sans-serif;
}
.stabilo { font-weight: bold;
background-color: bisque
}