Fixes #31 again :) We now use the <tt> HTML tag, that's a lot more easy
!