/* Feuille de style pour la définition de base de quelques styles. */

pre {background-color:rgb(255,255,255); display:inline-block; margin-top:2pt;}
textarea {background-color:rgb(255,255,255); width:98%;}

.w15 { vertical-align:top; text-align:left; width:15px; }
.w15:after { content:"°"; }
.indent { padding-left:18px; text-indent:-18px; }