On 2015-05-07 20:46:05, Juan Nunez-Iglesias <jni.soma@gmail.com> wrote:

Thanks Johannes!

Incidentally, there's some much nicer monospace fonts out there... Off the top of my head: Liberation Mono (Fedora's free font), Inconsolata, Adobe Source Code Pro. Any interest in using one of those?

My browser already uses Dejavu Sans Mono by default--but PRs are welcome! Stéfan