fix #13 : utilisation de la font DejaVu Sans Mono...

...afin d'éviter que le gras et l'italique ne créeent de décalage entre le `pre > code` et le `textarea`.