Require a monospace font when "Droid Sans Mono" is not available

Fixes https://github.com/ocaml/ocaml.org/issues/456