Note : après avoir enregistré la page, vous devrez forcer le rechargement complet du cache de votre navigateur pour voir les changements.

Mozilla / Firefox / Konqueror / Safari : maintenez la touche Majuscule (Shift) en cliquant sur le bouton Actualiser (Reload) ou pressez Maj-Ctrl-R (Cmd-R sur Apple Mac) ;

Chrome / Internet Explorer / Opera : maintenez la touche Ctrl en cliquant sur le bouton Actualiser ou pressez Ctrl-F5.
/*
 * FONTE PRINCIPALE : TIMES
 */

body {font-family: Times, Verdana; font-size:-1;}

/*
 * FONTE DES TITRES
 */

h1 { font-weight:bold; font-size: 200%; font-family: Times; border-bottom: 1px solid #DDD; }
h2 { font-weight:bold; font-size: 180%; font-family: Times; border-bottom: 1px solid #AAA; line-height: 1em; }
h3 { font-weight:normal; font-size: 160%; font-family: Times; border-bottom: 1px solid #CCC; }
h4 { font-weight:normal; font-size: 140%; font-family: Times; border-bottom: 1px solid #EEE; }
h5 { font-weitht:normal; font-size: 120%; font-family: Times; color:#555; font-style:italic; }

/*

.history-user-normal { background-color: #DBDBFF;}
.history-user-sysop { background-color: #FFFF99;}
.history-user-bot { background-color: #C6FFB3;}
.history-user-ip { background-color: #FFCCCC;}

/* <pre>
*/

p { text-align: justify; }