.formule {
   font-family: "DejaVu serif", serif;
   font-style: italic;
}

div.formule {
   border: #00AA00 1px dashed;
   border-left: #006600 3px solid;
   padding: 5px;
}

.indice {
   vertical-align: sub;
   font-size: 10px;
}
.exp {
   vertical-align: super;
   font-size: 10px;
}

.def {
   border-left: #006600 2px solid;
   padding-left: 5px;
}

.def_mot{
   text-transform: uppercase;
}

.code {
   font-family: DejaVu Mono, courier, mono;
}