/* la couleur de bord est un test pour essayer de dŽterminer dans quel mode on est...*/
body {border-color:rgb(0,0,0);}

pre {border: 0.05em solid; background-color: white;}

/* la barre de navigation n'est pas vraiment indispensable ˆ l'impression.... le numŽro de la page
 * affichŽe non plus.
 */

#pageNumber, .nav {display: none;}